/specification

A statically typed functional programming inspired by Haskell, OCaml and Rust.

Primary LanguageTeXApache License 2.0Apache-2.0

No issues in this repository yet.