Notes on lambda calculus and type theory. - View it on GitHub