Sat, 07 Nov 2009 11:06:38 -0500 |
Adam Chlipala |
Saving paper decisions |
Thu, 22 Oct 2009 11:15:37 -0400 |
Adam Chlipala |
Checking deadline; sign-in |
Tue, 20 Oct 2009 12:48:53 -0400 |
Adam Chlipala |
Start of user management |
Tue, 20 Oct 2009 11:05:58 -0400 |
Adam Chlipala |
Registering for Conference1 |
Tue, 06 Oct 2009 15:39:27 -0400 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
Tue, 15 Sep 2009 10:18:56 -0400 |
Adam Chlipala |
Summary row with aggregates |
Tue, 25 Aug 2009 13:57:56 -0400 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
Sun, 09 Aug 2009 16:13:27 -0400 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |