annah

Medium-level language that desugars to Morte

Latest on Hackage:1.0.0@rev:1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Gabriella Gonzalez
Maintained by [email protected]

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.