mini-ml-0.1.0.0: MiniML compiler
MiniML is a minimal dialect of ML (Meta Language).
Modules
mini-ml-0.1.0.0
- CodeGen
- MonadUtils
- Parser
- Parser.Ast Contains all AST elements.
- Parser.Lexer
- Parser.Parser
- Parser.Utils
- StdLib
- Transformations
- Anf
- Cc
- Ll
- Transformations.Ll.Lfr Lambda Free Representation.
- Transformations.Ll.Ll
- Relabeler
- Simplifier
- Trees
- TypeChecker