ollef/Bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

语言：Haskell · GitHub 星标：134 · Fork：12

在 GitHub 上查看原仓库