morte

Version 1.6.13 revision 0 uploaded 2017-12-14T22:35:18.000Z 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 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

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

Components

• lib:morte
• bench:bench
• exe:morte
• test:test