| Wed, 16 Dec 2009 15:54:50 -0500 |
Adam Chlipala |
Easy direction of Intensional |
| 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 |
