Tue, 08 Sep 2009 10:18:19 -0400 |
Adam Chlipala |
dragList almost kinda works |
Tue, 25 Aug 2009 17:33:13 -0400 |
Adam Chlipala |
New release |
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 |
Sun, 19 Jul 2009 17:45:02 -0400 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
Sat, 18 Jul 2009 11:01:48 -0400 |
Adam Chlipala |
More command-line options |
Thu, 16 Jul 2009 18:10:29 -0400 |
Adam Chlipala |
Demo working with MySQL |
Sun, 28 Jun 2009 13:49:32 -0400 |
Adam Chlipala |
Start of multi-DBMS support |