Skip to content

PL-ML/nanomaly

 
 

Repository files navigation

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 

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • JavaScript 35.4%
  • TeX 27.5%
  • OCaml 25.6%
  • Haskell 7.4%
  • Python 1.1%
  • CSS 0.9%
  • Other 2.1%