git.iko.soy/Idris-dev
on 64b7cfd help sign in
Idris-dev/miniidris.cabal
32 lines 1.2 kB history raw
1Name: miniidris
2Version: 0.1
3License: BSD3
4License-file: LICENSE
5Author: Edwin Brady
6Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
7Homepage: http://www.idris-lang.org/
9Stability: Alpha
10Category: Compilers/Interpreters, Dependent Types
11Synopsis: Dependently Typed Functional Programming Language
12Description: An experimental new version of Idris
14Cabal-Version: >= 1.6
15Build-type: Simple
17Executable miniidris
18 Main-is: Main.hs
19 hs-source-dirs: src
20 Other-modules: Core.TT, Core.Evaluate, Core.Typecheck,
21 Core.ProofShell, Core.ProofState, Core.CoreParser,
22 Core.ShellParser, Core.Unify, Core.Elaborate,
24 Idris.AbsSyntax, Idris.Parser, Idris.REPL
26 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
27 containers, process
29 Extensions: MultiParamTypeClasses, FunctionalDependencies,
30 FlexibleInstances
31 ghc-prof-options: -auto-all
32 ghc-options: -rtsopts