A statically typed functional programming inspired by Haskell, OCaml and Rust.
Primary LanguageTeXApache License 2.0Apache-2.0