A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
No reviews for this project.