adam@489: adam@489: adam@489: adam@489: Certified Programming with Dependent Types Exercises adam@489: adam@489:

Certified Programming with Dependent Types Exercises

adam@489: adam@489:
adam@489:

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

adam@489:
adam@489: adam@489:
adam@490:

Exercises Written for CPDT

adam@489: adam@489:
adam@489: adam@490:
adam@490:

Other Exercises

adam@490: adam@490:
adam@490: adam@489: