TPT-2014 The UU course on the Theory of Programming and Types academic year 2014-2015. For the moment, this repository is mostly used for hosting the website. Exercises and code may show up later.