Refinement types with static and runtime checking
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.