Hackage :: [Package]

morte: A bare-bones calculus of constructions

[ bsd3, compiler, library, program ] [ Propose Tags ] [ Report a vulnerability ]

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 happy-generated parser for Morte

Read Morte.Tutorial to learn how to use this library

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 1.0.0, 1.0.1, 1.1.0, 1.1.1, 1.1.2, 1.2.0, 1.2.1, 1.3.0, 1.3.1, 1.4.0, 1.4.1, 1.4.2, 1.5.0, 1.5.1, 1.6.0, 1.6.1, 1.6.2, 1.6.3, 1.6.4, 1.6.5, 1.6.6, 1.6.7, 1.6.8, 1.6.9, 1.6.10, 1.6.11, 1.6.12, 1.6.13, 1.6.14, 1.6.15, 1.6.16, 1.6.17, 1.6.18, 1.6.19, 1.6.20, 1.7.0, 1.7.1, 1.7.2
Dependencies array (>=0.4.0.0 && <0.6), base (>=4 && <5), binary (<0.8), containers (<0.6), lens-family-core (>=1.0.0 && <1.2), morte, optparse-applicative (<0.11), pipes (>=4.0.0 && <4.2), text (>=0.11.1.0 && <1.3), transformers (>=0.2.0.0 && <0.5) [details]
License BSD-3-Clause
Copyright 2014 Gabriel Gonzalez
Author Gabriel Gonzalez
Maintainer Gabriel439@gmail.com
Category Compiler
Bug tracker https://github.com/Gabriel439/Haskell-Morte-Library/issues
Source repo head: git clone https://github.com/Gabriel439/Haskell-Morte-Library
Uploaded by GabrielGonzalez at 2014-09-11T20:12:04Z
Distributions
Reverse Dependencies 2 direct, 0 indirect [details]
Executables morte
Downloads 24159 total (104 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]