morte: A bare-bones calculus of constructions

Morte is a typed, purely functional, and strongly normalizing intermediate language designed for whole-program super-optimization. Use this library to type-check, optimize, parse, pretty-print, serialize and deserialize expressions in this intermediate language.

This library also installs an executable that you can use to type-check and optimize a morte program.

Morte.Core contains the core calculus of constructions for this language

Morte.Lexer contains the alex-generated lexer for Morte

Morte.Parser contains the parser for Morte

Read Morte.Tutorial to learn how to use this library

Modules

[Index] [Quick Jump]

Downloads

• morte-1.7.2.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

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

Package maintainers

• GabrielGonzalez

For package maintainers and hackage trustees

• edit package information

Candidates

• 1.6.12, 1.6.14, 1.6.15, 1.6.18