rohanshah / typechecking

type checking algorithms for various type systems

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.