Solutions to the exercises in and miscellaneous material for the book "Types and Programming Languages" by Benjamin C. Pierce. - View it on GitHub