log demo/more/grid.ur

age author description
Sat, 19 Sep 2009 10:56:09 -0400 Adam Chlipala Hopefully fixed Jscomp bug that was breaking Grid
Thu, 17 Sep 2009 19:15:10 -0400 Adam Chlipala Pseudo-sort working with filters
Thu, 17 Sep 2009 16:35:11 -0400 Adam Chlipala Basic tail recursion introduction seems to be working