The annah package

[ Tags: bsd3, compiler, library, program ] [ Propose Tags ]

Annah is a very simple statically typed and purely functional lambda calculus with built-in support for:

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.

Properties

Versions 1.0.0
Dependencies annah, array (>=0.4.0.0 && <0.6), base (==4.*), Earley (>=0.10.1.0 && <0.12), lens-family-core (>=1.0.0 && <1.3), morte (>=1.6.0 && <1.7), optparse-applicative (<0.13), pipes (>=4.0.0 && <4.2), system-fileio (>=0.2.1 && <0.4), 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) [details]
License BSD3
Copyright 2015 Gabriel Gonzalez
Author Gabriel Gonzalez
Maintainer Gabriel439@gmail.com
Category Compiler
Bug tracker https://github.com/Gabriel439/Haskell-Annah-Library/issues
Source repository head: git clone https://github.com/Gabriel439/Haskell-Annah-Library
Uploaded Sun Apr 24 20:14:46 UTC 2016 by GabrielGonzalez
Distributions NixOS:1.0.0
Executables annah
Downloads 91 total (3 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees