Types and Programming Languages Exercises

My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.

License