| Tue, 02 Mar 2010 16:00:48 -0500 |
Adam Chlipala |
Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize |
| Sun, 10 Jan 2010 13:44:22 -0500 |
Adam Chlipala |
Reduce concatenations of the empty record; unpoly non-recursive functions |
| Tue, 15 Dec 2009 10:19:05 -0500 |
Adam Chlipala |
Convert to task syntax |
| Sun, 13 Dec 2009 14:20:41 -0500 |
Adam Chlipala |
Initializers and setval |
| Sun, 25 Oct 2009 14:07:10 -0400 |
Adam Chlipala |
RPC uses VM support for call/cc |
| Sun, 25 Oct 2009 13:12:24 -0400 |
Adam Chlipala |
Always inline records |
| Sun, 25 Oct 2009 12:08:21 -0400 |
Adam Chlipala |
Inlining threshold for Reduce |
| Thu, 17 Sep 2009 17:11:23 -0400 |
Adam Chlipala |
tail example working |
| Thu, 17 Sep 2009 16:35:11 -0400 |
Adam Chlipala |
Basic tail recursion introduction seems to be working |
| Tue, 15 Sep 2009 12:41:54 -0400 |
Adam Chlipala |
Escape character constants; lift indices properly in Reduce 'case' simplification |
| Sun, 13 Sep 2009 12:00:34 -0400 |
Adam Chlipala |
Have nullable columns working with Dbgrid |
| Sat, 12 Sep 2009 15:08:16 -0400 |
Adam Chlipala |
Nullable columns *might* be working, but too much JS is generated for the page to load in finite time |
| 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 |
| Thu, 28 May 2009 10:35:25 -0400 |
Adam Chlipala |
Demo compiles with pattern-matching-fu |
