@hackage annah1.0.0

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.