Types and Programming Languages notes and exercises - View it on GitHub