annah: Medium-level language that desugars to Morte

[ bsd3, compiler, library, program ] [ Propose Tags ]

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.

Downloads

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

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 1.0.0
Dependencies annah, array (>=0.4.0.0 && <0.6), base (>=4 && <5), Earley (>=0.10.1.0 && <0.12), lens-family-core (>=1.0.0 && <1.3), morte (>=1.6.0 && <1.7), optparse-applicative (<0.13), pipes (>=4.0.0 && <4.2), system-fileio (>=0.2.1 && <0.4), system-filepath (>=0.3.1 && <0.5), text (>=0.11.1.0 && <1.3), text-format (<0.4), transformers (>=0.2.0.0 && <0.5) [details]
License BSD-3-Clause
Copyright 2015 Gabriella Gonzalez
Author Gabriella Gonzalez
Maintainer GenuineGabriella@gmail.com
Revised Revision 1 made by GabrielGonzalez at 2022-09-04T22:22:15Z
Category Compiler
Bug tracker https://github.com/Gabriella439/Haskell-Annah-Library/issues
Source repo head: git clone https://github.com/Gabriella439/Haskell-Annah-Library
Uploaded by GabrielGonzalez at 2016-04-24T20:14:46Z
Distributions NixOS:1.0.0
Executables annah
Downloads 977 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]