Code Exercises after Ch15, from "Software Foundations"
Primary LanguageCoq
Exercises about Lambda Calculus.
*** Software Foundations