annah: Medium-level language that desugars to Morte
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.
Downloads
- annah-1.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 1.0.0 |
---|---|
Dependencies | annah, array (>=0.4.0.0 && <0.6), base (>=4 && <5), 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 | BSD-3-Clause |
Copyright | 2015 Gabriella Gonzalez |
Author | Gabriella Gonzalez |
Maintainer | GenuineGabriella@gmail.com |
Revised | Revision 1 made by GabrielGonzalez at 2022-09-04T22:22:15Z |
Category | Compiler |
Bug tracker | https://github.com/Gabriella439/Haskell-Annah-Library/issues |
Source repo | head: git clone https://github.com/Gabriella439/Haskell-Annah-Library |
Uploaded | by GabrielGonzalez at 2016-04-24T20:14:46Z |
Distributions | |
Executables | annah |
Downloads | 1065 total (8 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |