log

age author description
Fri, 18 Sep 2009 19:30:09 -0400 Adam Chlipala Fix C substring implementation
Thu, 17 Sep 2009 19:15:10 -0400 Adam Chlipala Pseudo-sort working with filters
Thu, 17 Sep 2009 19:01:04 -0400 Adam Chlipala Grid changed to use Dlist.replace; filters stopped working
Thu, 17 Sep 2009 17:17:49 -0400 Adam Chlipala Don't try to check if functions are already tail-recursive
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
Thu, 17 Sep 2009 14:57:38 -0400 Adam Chlipala Bad sort functions tested
Thu, 17 Sep 2009 14:42:02 -0400 Adam Chlipala Insert dummy Sort parameter
Thu, 17 Sep 2009 14:27:00 -0400 Adam Chlipala Make filter argument to render, not create
Thu, 17 Sep 2009 13:44:08 -0400 Adam Chlipala Don't try to compile sigString() calls to JavaScript
Thu, 17 Sep 2009 13:30:56 -0400 Adam Chlipala Disable GCC inlining to stop goofy errors
Thu, 17 Sep 2009 12:55:22 -0400 Adam Chlipala Find more opportunities for 'let' inlining with better purity information
Thu, 17 Sep 2009 09:25:03 -0400 Adam Chlipala Print char patterns in C
Tue, 15 Sep 2009 16:27:24 -0400 Adam Chlipala Filters displaying properly
Tue, 15 Sep 2009 16:06:12 -0400 Adam Chlipala Filters displaying awfully