Package Info


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.

License: BSD-3-Clause



Package Version Update ID Released Package Hub Version Platforms Subpackages
1.6.9-bp150.1.3 info GA Release 2018-07-31 15
  • ppc64le
  • ghc-morte
  • ghc-morte-devel
1.6.9-bp150.1.5 info GA Release 2018-07-30 15
  • AArch64
  • x86-64
  • ghc-morte
  • ghc-morte-devel