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 parser for Morte
Read Morte.Tutorial to learn how to use this library
Downloads
- morte-1.6.6.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.7.0.0 && <0.9), code-page (>=0.1.1 && <0.2), containers (>=0.5.0.0 && <0.6), deepseq (>=1.3.0 && <1.5), Earley (>=0.10.1.0 && <0.13), http-client (>=0.5.0 && <0.6), http-client-tls (>=0.2.0 && <0.4), microlens (>=0.2.0.0 && <0.5), microlens-mtl (>=0.1.3.1 && <0.2), morte, optparse-applicative (<0.14), pipes (>=4.0.0 && <4.4), system-fileio (>=0.2.1 && <0.4), system-filepath (>=0.3.1 && <0.5), text (>=0.11.1.0 && <1.3), text-format (<0.4), transformers (>=0.2.0.0 && <0.6) [details] |
| Tested with | ghc ==7.6.3, ghc ==7.8.4, ghc ==7.10.2, ghc ==8.0.1 |
| License | BSD-3-Clause |
| Copyright | 2016 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 2017-02-20T17:57:01Z |
| 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 available [build log] Last success reported on 2017-02-20 [all 1 reports] |