μML

A haskell implementation of μML in Programming Languages: Build Prove and Compare.

Quick Start

start the repl with basis:

$ cabal run uml

or repl with some file:

$ cabal run uml -- /path/to/file

Examples

You can find some examples in examples folder

• basis.uml: the basis
• fib.uml: Fibonacci number
• rbt.uml: Red Black Tree