A bare-bones calculus of constructions

Version on this page:1.7.1
LTS Haskell 12.26:1.6.20
Stackage Nightly 2018-09-28:1.7.1
Latest on Hackage:1.7.2

See all snapshots morte appears in

BSD-3-Clause licensed by Gabriel Gonzalez
Maintained by
This version can be pinned in stack with:morte-1.7.1@sha256:2325b78a7b5e0f8e10be0fa3ed95b0d9b7378cb20b2735c9347a42f60b984a47,3598

Module documentation for 1.7.1

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