README.md

Nanomaly $\approx$ NanoML

A simple OCaml parsera and (static + dynamic) type checker in Haskell

Compile and run

Note that executables or libraries can be configured in nanoml.cabal

Compile

stack setup
stack build

Parse OCaml Code

stack exec -- ocaml-to-json  < prog.ml 

stack exec -- ocaml-to-seq   < prog.ml