Sat, 21 Feb 2009 15:33:20 -0500 |
Adam Chlipala |
"Hello world" compiles, after replacing type-level fold with map |
Thu, 06 Nov 2008 10:29:55 -0500 |
Adam Chlipala |
Cookies through elaborate |
Sat, 01 Nov 2008 10:47:10 -0400 |
Adam Chlipala |
Parsing 'let' |
Tue, 21 Oct 2008 11:39:13 -0400 |
Adam Chlipala |
Fix XML indenting to ignore comparison operators |
Tue, 21 Oct 2008 11:13:03 -0400 |
Adam Chlipala |
Fix XML detection in presence of comparison operators |
Sun, 19 Oct 2008 16:49:09 -0400 |
Adam Chlipala |
Fix a nasty indent bug, found while working on listFun |
Thu, 16 Oct 2008 17:31:24 -0400 |
Adam Chlipala |
Fixing overzealous SQL paren-nester |