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