jin/subtyping

An implementation of structural subtyping of records and functions

语言：Haskell · GitHub 星标：13 · Fork：2

话题：haskell · subtypes · subtyping · typechecker

在 GitHub 上查看原仓库