The latest version of morte is 1.7.2-1.
morte
Version 1.7.1 revision 0 uploaded by GabrielGonzalez.
Package meta
- Synopsis
- A bare-bones calculus of constructions
- Description
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
morteprogram.Morte.Core contains the core calculus of constructions for this language
Morte.Lexer contains the
alex-generated lexer for MorteMorte.Parser contains the parser for Morte
Read Morte.Tutorial to learn how to use this library
- Author
- Gabriel Gonzalez
- Bug reports
- https://github.com/Gabriel439/Haskell-Morte-Library/issues
- Category
- Compiler
- Copyright
- 2016 Gabriel Gonzalez
- Homepage
- n/a
- Maintainer
- Gabriel439@gmail.com
- Package URL
- n/a
- Stability
- n/a