/software-foundations

My solutions to exercises in Benjamin C. Pierce's Software Foundations

Primary LanguageHTMLMIT LicenseMIT

Solutions

Based on version 3.2.

Progress

  • ✓ Basics
  • ✓ Induction
  • ✓ Lists
  • ✓ Poly