My implementations of type checkers of "Types and Programming Languages" book (written in Haskell)

Original implementation (OCaml): https://www.cis.upenn.edu/~bcpierce/tapl/