A statically typed functional programming language with structural refinement types and modular data types.
MIT LicenseMIT
No issues in this repository yet.