My solutions to exercises in Benjamin C. Pierce's Software Foundations - View it on GitHub