@@ -9,16 +9,17 @@ Homepage: http://www.idris-lang.org/
99Stability: Alpha
1010Category: Compilers/Interpreters, Dependent Types
1111Synopsis: 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.
1313 Dependent types allow types to be predicated on values,
1414 meaning that some aspects of a program's behaviour can be
1515 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>.
1717
1818Cabal-Version: >= 1.6
1919Build-type: Custom
2020
2121Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr
22+ tutorial/examples/*.idr
2223
2324Executable idris
2425 Main-is: Main.hs
@@ -38,7 +39,7 @@ Executable idris
3839
3940 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
4041 containers, process, transformers, filepath, directory,
41− binary, bytestring, unix, epic>=0.9.1
42+ binary, bytestring, unix, epic>=0.9.2
4243
4344 Extensions: MultiParamTypeClasses, FunctionalDependencies,
4445 FlexibleInstances, TemplateHaskell