log src/sources

age author description
2008-10-19 Adam Chlipala Demo HTML generation, minus source code
2008-10-19 Adam Chlipala Proper configuration and installation
2008-10-19 Adam Chlipala Proper generation of relation names; checking that sequences exist
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
2008-07-03 Adam Chlipala Mono optimizations (start with string concat and space eating)
2008-07-01 Adam Chlipala Initial disjointness prover
2008-07-01 Adam Chlipala Factor some operations into ElabOps
2008-06-19 Adam Chlipala Explify
2008-06-10 Adam Chlipala Translation to Cjr
2008-06-10 Adam Chlipala Closure conversion
2008-06-10 Adam Chlipala Monoize
2008-06-08 Adam Chlipala Tree-shaking
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Conversion to Core
2008-06-08 Adam Chlipala Primitive type constants
2008-06-08 Adam Chlipala Lifting cons in ElabEnv
2008-03-28 Adam Chlipala Start of elaborating expressions
2008-01-26 Adam Chlipala Check for leftover kind unifs
2008-01-26 Adam Chlipala Elaborating files
2008-01-26 Adam Chlipala Rename Laconic* modules to Source*
2008-01-26 Adam Chlipala Elaborating cons and decls
2008-01-26 Adam Chlipala Start of elaboration
2008-01-26 Adam Chlipala Initial parsing and pretty-printing
2008-01-26 Adam Chlipala Initial skeleton