soren-n / bidi-higher-rank-polyLinks

Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
22Updated 4 years ago

Alternatives and similar repositories for bidi-higher-rank-poly

Users that are interested in bidi-higher-rank-poly are comparing it to the libraries listed below

Sorting: