log src/sources

age author description
Sat, 01 Nov 2008 15:58:55 -0400 Adam Chlipala First Unnest tests working
Thu, 30 Oct 2008 16:58:54 -0400 Adam Chlipala Especialize
Sun, 19 Oct 2008 14:05:00 -0400 Adam Chlipala Demo HTML generation, minus source code
Sun, 19 Oct 2008 12:47:10 -0400 Adam Chlipala Proper configuration and installation
Sun, 19 Oct 2008 12:12:59 -0400 Adam Chlipala Proper generation of relation names; checking that sequences exist
Sat, 13 Sep 2008 10:30:45 -0400 Adam Chlipala foldTR2
Thu, 11 Sep 2008 09:36:47 -0400 Adam Chlipala Unpoly non-recursive function
Tue, 09 Sep 2008 11:46:33 -0400 Adam Chlipala Termination checking
Sun, 07 Sep 2008 09:28:13 -0400 Adam Chlipala Ran a prepared statement with one string parameter
Sun, 31 Aug 2008 08:32:18 -0400 Adam Chlipala Laconic -> Ur
Fri, 08 Aug 2008 17:55:51 -0400 Adam Chlipala Specialization of single-parameter datatypes
Thu, 17 Jul 2008 13:12:16 -0400 Adam Chlipala MonoShake
Thu, 17 Jul 2008 12:59:52 -0400 Adam Chlipala MonoReduce
Thu, 17 Jul 2008 12:19:44 -0400 Adam Chlipala Untangle
Sun, 13 Jul 2008 11:43:57 -0400 Adam Chlipala Starting with closure links
Sun, 13 Jul 2008 10:17:06 -0400 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'