@hackage / annah

Medium-level language that desugars to Morte

Latest1.0.0

About

Metadata

  • Last updated , by GabrielGonzalez
  • License BSD-3-Clause
  • Categories Compilers and Interpreters

  • Maintained by: GenuineGabriella@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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.