0x0f0f0f / bidirectional Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ollef/bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
License: BSD 3-Clause "New" or "Revised" License