mini-ml

About

dune build

chmod +x miniml
./miniml

dune utop

utop # Miniml.Infer.infer (Miniml.Parse.parse "if (1 + 2) < 3 then 4 else 5");;
- : Miniml.Infer.typ = Miniml.Infer.TInt

utop # Miniml.Reduction.normalize (Miniml.Parse.parse "if (1 + 2) < 3 then 4 else 5");;
- : Miniml.Syntax.prog = Miniml.Syntax.Int 5

dune fmt

Name		Name	Last commit message	Last commit date
Latest commit History 43 Commits
.vscode		.vscode
bin		bin
examples		examples
lib		lib
test		test
.gitignore		.gitignore
.ocamlformat		.ocamlformat
LICENSE		LICENSE
README.md		README.md
dune-project		dune-project
miniml		miniml
miniml.opam		miniml.opam