morte: A bare-bones calculus of constructions

[ bsd3, compiler, library, program ] [ Propose Tags ]

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

Versions [faq] 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
Dependencies array (>=0.4.0.0 && <0.6), base (==4.*), 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.*), 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 Mon Mar 19 05:04:13 UTC 2018
Distributions NixOS:1.7.1
Executables morte
Downloads 9317 total (32 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2018-03-19 [all 3 reports]

Modules

  • Morte
    • Morte.Context
    • Morte.Core
    • Morte.Import
    • Morte.Lexer
    • Morte.Parser
    • Morte.Tutorial

Downloads

Maintainer's Corner

For package maintainers and hackage trustees