log src/sources

age author description
2008-09-13 Adam Chlipala foldTR2
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-09-09 Adam Chlipala Termination checking
2008-09-07 Adam Chlipala Ran a prepared statement with one string parameter
2008-08-31 Adam Chlipala Laconic -> Ur
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-07-17 Adam Chlipala MonoShake
2008-07-17 Adam Chlipala MonoReduce
2008-07-17 Adam Chlipala Untangle
2008-07-13 Adam Chlipala Starting with closure links
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-07-10 Adam Chlipala Fix dependency graph mismatch in sources