morte: A bare-bones calculus of constructions
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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
Properties
| Versions | 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.18, 1.6.19, 1.6.20, 1.7.0, 1.7.1, 1.7.2 |
|---|---|
| Change log | None available |
| 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), formatting (>=6.3 && <6.4), 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.15), 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), transformers (>=0.2.0.0 && <0.6) [details] |
| 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 2018-03-21T01:37:04Z |
Modules
[Index]
Downloads
- morte-1.6.18.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees