A tiny language for teaching and experimenting with Refinement Types
Primary LanguageHaskellMIT LicenseMIT