Wed, 11 Nov 2009 14:28:47 -0500 |
Adam Chlipala |
Switch DepList to inductive, not recursive, types |
Wed, 11 Nov 2009 14:00:04 -0500 |
Adam Chlipala |
Port DataStruct |
Fri, 06 Nov 2009 12:15:05 -0500 |
Adam Chlipala |
'make doc' works with 8.2 |
Fri, 06 Nov 2009 10:52:43 -0500 |
Adam Chlipala |
Parts I want to keep compile with 8.2 |
Wed, 22 Oct 2008 09:43:37 -0400 |
Adam Chlipala |
Clarify intent to use hlist |
Wed, 22 Oct 2008 07:50:47 -0400 |
Adam Chlipala |
s/reflexive/index function |
Mon, 20 Oct 2008 17:02:04 -0400 |
Adam Chlipala |
s/itree/htree |
Tue, 14 Oct 2008 15:21:02 -0400 |
Adam Chlipala |
Clarify exercise wording |
Tue, 14 Oct 2008 15:11:14 -0400 |
Adam Chlipala |
Pattern-matching exercise |
Tue, 14 Oct 2008 14:58:33 -0400 |
Adam Chlipala |
itree exercise |
Tue, 14 Oct 2008 13:05:43 -0400 |
Adam Chlipala |
Templatize DataStruct |
Tue, 14 Oct 2008 11:28:44 -0400 |
Adam Chlipala |
Commentary on cond example |
Tue, 14 Oct 2008 10:52:38 -0400 |
Adam Chlipala |
Code for cond-folding example |
Mon, 13 Oct 2008 15:09:58 -0400 |
Adam Chlipala |
Index functions |
Mon, 13 Oct 2008 14:04:39 -0400 |
Adam Chlipala |
Recursive type definitions |