@@ -9,16 +9,17 @@ Homepage: http://www.idris-lang.org/
9Stability: Alpha
9Stability: Alpha
10Category: Compilers/Interpreters, Dependent Types
10Category: Compilers/Interpreters, Dependent Types
11Synopsis: Dependently Typed Functional Programming Language
11Synopsis: Dependently Typed Functional Programming Language
12−Description: Idris is an experimental language with full dependent types.
12+Description: Idris is a general purpose language with full dependent types.
13 Dependent types allow types to be predicated on values,
13 Dependent types allow types to be predicated on values,
14 meaning that some aspects of a program's behaviour can be
14 meaning that some aspects of a program's behaviour can be
15 specified precisely in the type. The language is closely
15 specified precisely in the type. The language is closely
16− related to Epigram and Agda. There is a tutorial at <http://www.idris-lang.org/tutorial.html>.
16+ related to Epigram and Agda. There is a tutorial at <http://www.idris-lang.org/documentation>.
18Cabal-Version: >= 1.6
18Cabal-Version: >= 1.6
19Build-type: Custom
19Build-type: Custom
21Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr
21Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr
22+ tutorial/examples/*.idr
23Executable idris
24Executable idris
24 Main-is: Main.hs
25 Main-is: Main.hs
@@ -38,7 +39,7 @@ Executable idris
39 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
40 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
40 containers, process, transformers, filepath, directory,
41 containers, process, transformers, filepath, directory,
41− binary, bytestring, unix, epic>=0.9.1
42+ binary, bytestring, unix, epic>=0.9.2
43 Extensions: MultiParamTypeClasses, FunctionalDependencies,
44 Extensions: MultiParamTypeClasses, FunctionalDependencies,
44 FlexibleInstances, TemplateHaskell
45 FlexibleInstances, TemplateHaskell