Mercurial > cpdt > repo
comparison staging/ex/index.html @ 489:a95af5a59990
Exercises online
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Tue, 08 Jan 2013 15:48:32 -0500 |
| parents | |
| children | c8a3cb24bae9 |
comparison
equal
deleted
inserted
replaced
| 488:31258618ef73 | 489:a95af5a59990 |
|---|---|
| 1 <html> | |
| 2 <head> | |
| 3 <link rel="stylesheet" type="text/css" href="/style.css"> | |
| 4 <title>Certified Programming with Dependent Types Exercises</title> | |
| 5 </head><body> | |
| 6 <h1><a href="..">Certified Programming with Dependent Types</a> Exercises</h1> | |
| 7 | |
| 8 <div class="summary"> | |
| 9 <p>Here lies an attempt to crowdsource the production of exercises for CPDT.</p> | |
| 10 </div> | |
| 11 | |
| 12 <div class="project"> | |
| 13 <h2>Suggested Exercises</h2> | |
| 14 <ul> | |
| 15 <li> <a href="exercises.pdf">Snapshot of exercises that were included in CPDT when I decided to stop maintaining exercises</a> (<a href="http://adam.chlipala.net/">Adam Chlipala</a>)</li> | |
| 16 <li> <a href="http://www.cis.upenn.edu/~bcpierce/courses/670Fall12/">Homeworks from CIS 670 at Penn in Fall 2012</a> (<a href="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</a> and students in the class)</li> | |
| 17 </ul> | |
| 18 </div> | |
| 19 | |
| 20 </body></html> |