Mercurial > cpdt > repo

<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>
author	Adam Chlipala <adam@chlipala.net>
date	Tue, 08 Jan 2013 15:48:32 -0500
parents
children	c8a3cb24bae9