log demo/more/grid.ur

age author description
2010-12-15 Adam Chlipala Small tweaks to update demos for record unification change
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