ollef / BidirectionalLinks

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
131Updated 4 years ago

Alternatives and similar repositories for Bidirectional

Users that are interested in Bidirectional are comparing it to the libraries listed below

Sorting: