git.iko.soy/Idris-dev
on b8f342d help sign in
Idris-dev/idris.cabal
82 lines 3.6 kB history raw
1Name: idris
2Version: 0.9.3
3License: BSD3
4License-file: LICENSE
5Author: Edwin Brady
6Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
7Homepage: http://www.idris-lang.org/
9Stability: Beta
10Category: Compilers/Interpreters, Dependent Types
11Synopsis: Functional Programming Language with Dependent Types
12Description: Idris is a general purpose language with full dependent types.
13 It is compiled, with eager evaluation.
14 Dependent types allow types to be predicated on values,
15 meaning that some aspects of a program's behaviour can be
16 specified precisely in the type. The language is closely
17 related to Epigram and Agda. There is a tutorial at <http://www.idris-lang.org/documentation>.
18 Features include:
19 .
20 * Full dependent types with dependent pattern matching
21 .
22 * where clauses, with rule, simple case expressions,
23 pattern matching let and lambda bindings
24 .
25 * Type classes, monad comprehensions
26 .
27 * do notation, idiom brackets, syntactic conveniences for lists,
28 tuples, dependent pairs
29 .
30 * Indentation significant syntax, extensible syntax
31 .
32 * Tactic based theorem proving (influenced by Coq)
33 .
34 * Cumulative universes
35 .
36 * Simple foreign function interface (to C)
37 .
38 * Hugs style interactive environment
40Cabal-Version: >= 1.6
41Build-type: Custom
43Data-files: rts/libidris_rts.a rts/closure.h
44Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr lib/network/*.idr
45 lib/control/monad/*.idr lib/language/*.idr
46 tutorial/examples/*.idr
47 rts/*.c rts/*.h rts/Makefile
49source-repository head
50 type: git
51 location: git://github.com/edwinb/Idris-dev.git
54Executable idris
55 Main-is: Main.hs
56 hs-source-dirs: src
57 Other-modules: Core.TT, Core.Evaluate, Core.Typecheck,
58 Core.ProofShell, Core.ProofState, Core.CoreParser,
59 Core.ShellParser, Core.Unify, Core.Elaborate,
60 Core.CaseTree, Core.Constraints,
62 Idris.AbsSyntax, Idris.Parser, Idris.REPL,
63 Idris.REPLParser, Idris.ElabDecls, Idris.Error,
64 Idris.Delaborate, Idris.Primitives, Idris.Imports,
65 Idris.Compiler, Idris.Prover, Idris.ElabTerm,
66 Idris.Coverage, Idris.IBC, Idris.Unlit,
67 Idris.DataOpts, Idris.Transforms, Idris.DSL,
69 Util.Pretty,
71 RTS.Bytecode, RTS.SC, RTS.PreC, RTS.CodegenC,
73 Paths_idris
75 Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,
76 containers, process, transformers, filepath, directory,
77 binary, bytestring, epic>=0.9.3.1, pretty
79 Extensions: MultiParamTypeClasses, FunctionalDependencies,
80 FlexibleInstances, TemplateHaskell
81 ghc-prof-options: -auto-all -caf-all
82 ghc-options: -rtsopts