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