Certified Programming with Dependent Types Exercises

Here lies an attempt to crowdsource the production of exercises for CPDT.

Exercises Written for CPDT

Other Exercises