Type Checking Algorithms

Some type checking algorithms I implemented while working through Types and Programming Languages.

Mostly just Haskell translations of the type systems in the text and their respective OCaml implementations on the website.

rohanshah/typechecking