/lawvere

A categorical programming language with effects

Primary LanguageHaskellMIT LicenseMIT

Issues