GitHub repository: robrene/TPT-2014
Description: Theory of Programming and Types, academic year 2014-2015