lexi-lambda/higher-rank

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

语言：Haskell · GitHub 星标：102 · Fork：3

在 GitHub 上查看原仓库