morte

A bare-bones calculus of constructions

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

See all snapshots morte appears in

BSD-3-Clause licensed by Gabriel Gonzalez

Maintained by [email protected]

This version can be pinned in stack with:morte-1.6.1@sha256:82f646b4bc66a8a426a3adf2a60c569c1edd86f0b3a72929dce6d38db810a67c,3613

Module documentation for 1.6.1

Morte

Depends on 18 packages(full list with versions):

array, base, binary, containers, deepseq, Earley, http-client, http-client-tls, microlens, microlens-mtl, morte, optparse-applicative, pipes, system-fileio, system-filepath, text, text-format, transformers

Used by 1 package in lts-6.10(full list with versions):

morte

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