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