Søren Nørbæk
Results
1
repositories owned by
Søren Nørbæk
bidi-higher-rank-poly
23
Stars
1
Forks
Watchers
Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
