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@489:

Suggested Exercises

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