morte: A bare-bones calculus of constructions
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
- morte-1.1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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), deepseq (>=1.3.0 && <1.5), lens-family-core (>=1.0.0 && <1.3.0), morte, optparse-applicative (<=0.11.0.1), 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 2015-03-02T01:29:04Z |
| Distributions | |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Executables | morte |
| Downloads | 23581 total (110 in the last 30 days) |
| Rating | 2.25 (votes: 2) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2015-03-02 [all 1 reports] |