Mercurial > cpdt > repo

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Exercises online
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Jan 2013 15:48:32 -0500
parents
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 @@
+<html>
+<head>
+<link rel="stylesheet" type="text/css" href="/style.css">
+<title>Certified Programming with Dependent Types Exercises</title>
+</head><body>
+<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>
+
+<div class="project">
+<h2>Suggested Exercises</h2>
+<ul>
+<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>
+</ul>
+</div>
+
+</body></html>