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.

Modules

[Index]

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

Package maintainers

• GabrielGonzalez

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates