Name:           idris
Version:        0.1.7.1
License:        BSD3
License-file:   LICENSE
Author:         Edwin Brady
Maintainer:     Edwin Brady <eb@cs.st-andrews.ac.uk>
Homepage:       http://www.idris-lang.org/

Stability:      Alpha
Category:       Compilers/Interpreters, Dependent Types
Synopsis:       Dependently Typed Functional Programming Language
Description:    Idris is an experimental 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 <http://www.cs.st-andrews.ac.uk/~eb/Idris/tutorial.html>.
                .
                The aims of the project are:
                .
                * To provide a platform for realistic programming with dependent types.
                By realistic, we mean the ability to interact with the outside world
                and use primitive types and operations. This includes networking,
                file handling, concurrency, etc.
                .
                * To show that full dependent types do not mean we have to abandon
                the functional style we have come to know and love with languages
                like Haskell and OCaml. We aim to show that lightweight dependently typed
                programming means allowing the programmer full access to values in types,
                and letting the type checker do the hard work so you don't have to!
                .
                The Darcs repository can be found at <http://www-fp.cs.st-andrews.ac.uk/~eb/darcs/Idris>.
Homepage:       http://www.cs.st-andrews.ac.uk/~eb/Idris/

Cabal-Version:  >= 1.6
Build-type:     Simple

Data-files:     Prelude.e *.idr
Data-dir:       lib

Extra-source-files: CHANGELOG

Library
        Exposed-modules: Idris.Parser, Idris.Lexer, Idris.Lib, 
                         Idris.AbsSyntax, Idris.Context, Idris.Latex
                         Idris.Compiler, Idris.LambdaLift, Idris.PMComp, 
                         Idris.MakeTerm, Idris.Prover, Idris.Fontlock,
                         Idris.ConTrans, Idris.SCTrans, Idris.RunIO,
                         Idris.SimpleCase, Idris.Serialise, Idris.PartialEval
        Other-modules:   Paths_idris

        Build-depends:   base>=4 && <5, containers, array, parsec, mtl,
                         readline, ivor>=0.1.14, directory, haskell98,
                         old-time, old-locale, binary, epic>=0.1.7, Cabal
                                
        Extensions:      MagicHash, UndecidableInstances, OverlappingInstances, PatternGuards

Executable     idris
               Main-is: Main.lhs
               Other-modules: Idris.Parser, Idris.Lexer, Idris.Lib, 
                              Idris.AbsSyntax, Idris.Context,
                              Idris.Compiler, Idris.LambdaLift, Idris.PMComp, 
                              Idris.MakeTerm, Idris.Prover, Idris.Fontlock,
                              Idris.ConTrans, Idris.SCTrans, Idris.RunIO,
                              Idris.SimpleCase, Idris.Serialise, 
                              Idris.PartialEval

               Build-depends:   base>=4 && <5, containers, array, parsec, mtl,
                                readline, ivor>=0.1.14, directory, haskell98,
                                old-time, old-locale, binary, epic>=0.1.6, Cabal
                                
               Extensions:      MagicHash, UndecidableInstances, OverlappingInstances, PatternGuards
               ghc-prof-options: -auto-all