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.