Browse files

Update .cabal and README

  • Loading branch information...
1 parent 5528447 commit 27fc1f25720524b52c6a61b19a58b1c2fabbb988 Edwin Brady committed Nov 7, 2011
Showing with 10 additions and 2 deletions.
  1. +5 −1 README
  2. +5 −1 miniidris.cabal → idris.cabal
@@ -1 +1,5 @@
-Don't get your hopes up, this could take a while...
+Idris ( is an experimental functional programming
+language with dependent types.
+To install, type 'make'. This will install everything using cabal and
+typecheck the libraries.
@@ -9,7 +9,11 @@ Homepage:
Stability: Alpha
Category: Compilers/Interpreters, Dependent Types
Synopsis: Dependently Typed Functional Programming Language
-Description: An experimental new version of Idris
+Description: Idris is an experimental language with full dependent types.
+ Dependent types allow types to be predicated on values,
+ meaning that some aspects of a program's behaviour can be
+ specified precisely in the type. The language is closely
+ related to Epigram and Agda. There is a tutorial at <>.
Cabal-Version: >= 1.6
Build-type: Simple

0 comments on commit 27fc1f2

Please sign in to comment.