diff staging/ex/index.html @ 489:a95af5a59990

Exercises online
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Jan 2013 15:48:32 -0500
children c8a3cb24bae9
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/staging/ex/index.html	Tue Jan 08 15:48:32 2013 -0500
@@ -0,0 +1,20 @@
+<link rel="stylesheet" type="text/css" href="/style.css">
+<title>Certified Programming with Dependent Types Exercises</title>
+<h1><a href="..">Certified Programming with Dependent Types</a> Exercises</h1>
+<div class="summary">
+<p>Here lies an attempt to crowdsource the production of exercises for CPDT.</p>
+<div class="project">
+<h2>Suggested Exercises</h2>
+<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>
+<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>