Bidirectional
Bidirectional copied to clipboard
ollef
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
ollef