Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" - JDemler/BidirectionalTypechecking
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism" - ollef/Bidirectional