/BidirectionalTypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

Primary LanguageRust

Stargazers

No one’s star this repository yet.