Wed, 11 Nov 2009 10:27:47 -0500 |
Adam Chlipala |
Start of MoreDep port; new [dep_destruct] based on [dependent destruction] |
Mon, 09 Nov 2009 14:48:46 -0500 |
Adam Chlipala |
Ported Coinductive |
Fri, 06 Nov 2009 12:15:05 -0500 |
Adam Chlipala |
'make doc' works with 8.2 |
Sat, 03 Jan 2009 19:57:02 -0500 |
Adam Chlipala |
Feedback from Peter Gammie |
Fri, 02 Jan 2009 08:57:25 -0500 |
Adam Chlipala |
Small fixes while reading student solutions |
Sun, 12 Oct 2008 08:44:23 -0400 |
Adam Chlipala |
s/stream/tree |
Tue, 07 Oct 2008 10:43:54 -0400 |
Adam Chlipala |
Get Coinductive compiling again |
Sun, 05 Oct 2008 11:34:09 -0400 |
Adam Chlipala |
Coinductive exercise description |