harp-lab/su-qualifier-answers

Answers for Syracuse University's PL qualifier in Coq / in text