| Wed, 09 Sep 2009 08:15:46 -0400 |
Adam Chlipala |
Find chances to use mstrcat() |
| Wed, 09 Sep 2009 08:00:45 -0400 |
Adam Chlipala |
Don't replace <sc> in blob returns; optimize more 'option' pattern matches; detect more opportunities for 'let' inlining |
| Tue, 08 Sep 2009 20:12:17 -0400 |
Adam Chlipala |
Fix memmem() signature; fix mono_reduce environment bookkeeping |
| Tue, 08 Sep 2009 19:42:12 -0400 |
Adam Chlipala |
'more' demos working after optimizer fix |
| Tue, 08 Sep 2009 11:02:53 -0400 |
Adam Chlipala |
Use cdata for shorter Monad map |
| Tue, 08 Sep 2009 10:55:49 -0400 |
Adam Chlipala |
dragList demo working, save for Gecko load delay and highlighting |
| Tue, 08 Sep 2009 10:18:19 -0400 |
Adam Chlipala |
dragList almost kinda works |
| Tue, 08 Sep 2009 07:48:57 -0400 |
Adam Chlipala |
Start 'more' demo with dbgrid |
| Tue, 25 Aug 2009 17:33:13 -0400 |
Adam Chlipala |
New release |
| Tue, 25 Aug 2009 17:12:21 -0400 |
Adam Chlipala |
Fix structure wildification to take concrete con decls into account |
| Tue, 25 Aug 2009 15:19:00 -0400 |
Adam Chlipala |
Fix inconsistency in bool URLification between C and JavaScript |
| Tue, 25 Aug 2009 14:50:19 -0400 |
Adam Chlipala |
Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly |
| Tue, 25 Aug 2009 13:57:56 -0400 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
| Sat, 22 Aug 2009 16:32:31 -0400 |
Adam Chlipala |
Fixed bug in reduce bind-commutation |
| Sat, 22 Aug 2009 12:55:18 -0400 |
Adam Chlipala |
Convert to requiring explicit 'rpc' marker |
| Tue, 11 Aug 2009 12:01:54 -0400 |
Adam Chlipala |
JavaScript urlifying of bools; correct Link attribute escaping |
| Tue, 11 Aug 2009 11:26:37 -0400 |
Adam Chlipala |
Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?: |
| 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 |
| Thu, 06 Aug 2009 15:23:04 -0400 |
Adam Chlipala |
Fix type class resolution infinite loop, discovered while meeting with Ezra |
| Thu, 06 Aug 2009 14:57:44 -0400 |
Adam Chlipala |
<dyn> inside <tr> |
| Thu, 06 Aug 2009 14:39:03 -0400 |
Adam Chlipala |
dlist add and delete both working in Iceape and Konqueror |
| Thu, 06 Aug 2009 14:24:40 -0400 |
Adam Chlipala |
dlist row add working with Konqueror |
| Thu, 06 Aug 2009 11:58:38 -0400 |
Adam Chlipala |
Tweaking dyn() implementation to get grid working |
| Thu, 06 Aug 2009 11:54:28 -0400 |
Adam Chlipala |
dtable example and demos both working |
