Wed, 16 Dec 2009 15:31:54 -0500 |
Adam Chlipala |
Prosified Extensional |
Wed, 09 Dec 2009 14:12:33 -0500 |
Adam Chlipala |
New release |
Mon, 16 Nov 2009 13:13:34 -0500 |
Adam Chlipala |
Fix Extensional type annotations |
Mon, 16 Nov 2009 12:30:38 -0500 |
Adam Chlipala |
Port Extensional |
Mon, 16 Nov 2009 11:09:47 -0500 |
Adam Chlipala |
Port Reflection |
Wed, 11 Nov 2009 14:28:47 -0500 |
Adam Chlipala |
Switch DepList to inductive, not recursive, types |
Fri, 06 Nov 2009 10:52:43 -0500 |
Adam Chlipala |
Parts I want to keep compile with 8.2 |
Fri, 02 Jan 2009 08:57:25 -0500 |
Adam Chlipala |
Small fixes while reading student solutions |
Sun, 16 Nov 2008 11:54:51 -0500 |
Adam Chlipala |
Start of Intensional |
Mon, 10 Nov 2008 17:27:55 -0500 |
Adam Chlipala |
Extensional exercise |
Mon, 10 Nov 2008 14:17:26 -0500 |
Adam Chlipala |
Templatize Extensional |
Mon, 10 Nov 2008 14:12:22 -0500 |
Adam Chlipala |
PatMatch Elaborate_correct |
Mon, 10 Nov 2008 12:19:47 -0500 |
Adam Chlipala |
PatMatch Elaborate |
Mon, 10 Nov 2008 12:02:03 -0500 |
Adam Chlipala |
Languages for PatMatch |
Mon, 10 Nov 2008 11:36:00 -0500 |
Adam Chlipala |
CpsExp_correct |