Browse files

Update .cabal; require up to date epic

  • Loading branch information...
Edwin Brady
Edwin Brady committed Jan 6, 2012
1 parent e24955a commit 38da9bcf86e74d40751d499c3763c97ca60bf30f
Showing with 4 additions and 3 deletions.
  1. +4 −3 idris.cabal
@@ -9,16 +9,17 @@ Homepage:
Stability: Alpha
Category: Compilers/Interpreters, Dependent Types
Synopsis: Dependently Typed Functional Programming Language
-Description: Idris is an experimental language with full dependent types.
+Description: Idris is a general purpose 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 <>.
+ related to Epigram and Agda. There is a tutorial at <>.
Cabal-Version: >= 1.6
Build-type: Custom
Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr
+ tutorial/examples/*.idr
Executable idris
Main-is: Main.hs
@@ -38,7 +39,7 @@ Executable idris
Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
containers, process, transformers, filepath, directory,
- binary, bytestring, unix, epic>=0.9.1
+ binary, bytestring, unix, epic>=0.9.2
Extensions: MultiParamTypeClasses, FunctionalDependencies,
FlexibleInstances, TemplateHaskell

0 comments on commit 38da9bc

Please sign in to comment.