GitHub repository: soren-n/bidi-higher-rank-poly
Primary language: OCaml
Created: 2020-01-10T12:34:25Z
Description: Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml