annah-1.0.0: annah.cabal
Name: annah
Version: 1.0.0
Cabal-Version: >=1.8.0.2
Build-Type: Simple
Tested-With: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.2
License: BSD3
License-File: LICENSE
Copyright: 2015 Gabriel Gonzalez
Author: Gabriel Gonzalez
Maintainer: Gabriel439@gmail.com
Bug-Reports: https://github.com/Gabriel439/Haskell-Annah-Library/issues
Synopsis: Medium-level language that desugars to Morte
Description: Annah is a very simple statically typed and purely functional
lambda calculus with built-in support for:
.
* imports via embedding remote expressions
.
* mutually recursive data types
.
* let expressions
.
* natural numbers
.
* lists
.
* free monads
.
* free categories
.
Annah is built on top of Morte (a minimalist calculus of constructions),
meaning that all language features that Annah provides are desugared to
a pure non-recursive lambda calculus.
.
Read the "Annah.Tutorial" module to learn more about how to program using
Annah.
Category: Compiler
Source-Repository head
Type: git
Location: https://github.com/Gabriel439/Haskell-Annah-Library
Library
Hs-Source-Dirs: src
Build-Depends:
base >= 4 && < 5 ,
array >= 0.4.0.0 && < 0.6 ,
Earley >= 0.10.1.0 && < 0.12,
lens-family-core >= 1.0.0 && < 1.3 ,
morte >= 1.6.0 && < 1.7 ,
pipes >= 4.0.0 && < 4.2 ,
system-filepath >= 0.3.1 && < 0.5 ,
text >= 0.11.1.0 && < 1.3 ,
text-format < 0.4 ,
transformers >= 0.2.0.0 && < 0.5
Exposed-Modules:
Annah.Core,
Annah.Lexer,
Annah.Parser,
Annah.Tutorial
Build-Tools: alex
GHC-Options: -O2
Executable annah
Hs-Source-Dirs: exec
Main-Is: Main.hs
Build-Depends:
base >= 4 && < 5 ,
annah ,
morte >= 1.6.0 && < 1.7 ,
optparse-applicative < 0.13,
system-filepath >= 0.3.1 && < 0.5 ,
system-fileio >= 0.2.1 && < 0.4 ,
text >= 0.11.1.0 && < 1.3