/subtyping

An implementation of structural subtyping of records and functions

Primary LanguageHaskell

No issues in this repository yet.