/typesystem

Experiments using a bidirectional typesystem

Primary LanguageHaskellMIT LicenseMIT

Watchers