μ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

You can find some examples in examples folder