2010-10-10 |
Adam Chlipala |
Tweaking unification fix to apply to demo/more |
2010-02-28 |
Adam Chlipala |
Changing foldRX to mapX |
2009-12-26 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
2009-10-20 |
Adam Chlipala |
Adapted existing demos to tuple pattern-matching |
2009-09-19 |
Adam Chlipala |
Progress on sorting + filtering |
2009-09-19 |
Adam Chlipala |
Paging mostly working; just need to get it working properly with filtering |
2009-09-19 |
Adam Chlipala |
Testing Dlist MaxLength with constant value |
2009-09-19 |
Adam Chlipala |
Testing Dlist StartPosition with constant offset |
2009-09-19 |
Adam Chlipala |
Grid sorting working |
2009-09-19 |
Adam Chlipala |
Hopefully fixed Jscomp bug that was breaking Grid |
2009-09-17 |
Adam Chlipala |
Pseudo-sort working with filters |
2009-09-17 |
Adam Chlipala |
Basic tail recursion introduction seems to be working |
2009-09-17 |
Adam Chlipala |
Bad sort functions tested |
2009-09-17 |
Adam Chlipala |
Insert dummy Sort parameter |
2009-09-17 |
Adam Chlipala |
Make filter argument to render, not create |
2009-09-15 |
Adam Chlipala |
Filters implementation type-checking |
2009-09-15 |
Adam Chlipala |
Fix JavaScript char literals; don't generate demo links to nonexistent files |
2009-09-15 |
Adam Chlipala |
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid |
2009-09-15 |
Adam Chlipala |
Selection working, but switching it on isn't |
2009-09-15 |
Adam Chlipala |
Summary row with aggregates |
2009-09-15 |
Adam Chlipala |
Include 'key' type in Grid |
2009-09-15 |
Adam Chlipala |
Dropped in initial aggregate types |
2009-09-08 |
Adam Chlipala |
Start 'more' demo with dbgrid |