hackwaly / bidi-higher-rank-poly Goto Github PK
View Code? Open in Web Editor NEWThis project forked from soren-n/bidi-higher-rank-poly
Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
License: MIT License