annah
Version 1.0.0 revision 1 uploaded by GabrielGonzalez.
Package meta
- 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.
- Author
- Gabriella Gonzalez
- Bug reports
- https://github.com/Gabriella439/Haskell-Annah-Library/issues
- Category
- Compiler
- Copyright
- 2015 Gabriella Gonzalez
- Homepage
- n/a
- Maintainer
- GenuineGabriella@gmail.com
- Package URL
- n/a
- Stability
- n/a