# lang zoo

- bidirectional
  - implementation of ["Complete and Easy Bidirectional Typechecking
for Higher-Rank Polymorphism"](https://www.cl.cam.ac.uk/~nk480/bidir.pdf)