Tue, 21 Oct 2008 19:56:20 -0400 |
Adam Chlipala |
Sum prose |
Tue, 21 Oct 2008 19:31:11 -0400 |
Adam Chlipala |
Infering sum rows |
Tue, 21 Oct 2008 19:24:39 -0400 |
Adam Chlipala |
Sum demo, minus inference of {Unit}s |
Tue, 21 Oct 2008 16:41:11 -0400 |
Adam Chlipala |
New implicit argument handling |
Tue, 21 Oct 2008 15:11:42 -0400 |
Adam Chlipala |
Recursive unurlify for Default datatypes |
Tue, 21 Oct 2008 12:06:35 -0400 |
Adam Chlipala |
ListShop skeleton |
Tue, 14 Oct 2008 17:18:59 -0400 |
Adam Chlipala |
Reusable column handlers for Crud |