log src/reduce.sml

age author description
2009-05-16 Adam Chlipala Mutual datatypes through Effectize
2009-04-28 Adam Chlipala A view query works
2009-04-12 Adam Chlipala Stop tracking CSS classes in XML types
2009-04-12 Adam Chlipala style declarations
2009-04-07 Adam Chlipala PRIMARY KEY
2009-04-07 Adam Chlipala Track uniqueness sets in table types
2009-04-07 Adam Chlipala UNIQUE constraints
2009-02-22 Adam Chlipala demo/hello compiles with kind polymorphism
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2009-02-15 Adam Chlipala First gimpy RPC
2009-02-14 Adam Chlipala Start of RPCification
2008-11-26 Adam Chlipala crud1 compiles with new Reduce
2008-11-26 Adam Chlipala Fix environments for repeat visits for exp reduction
2008-11-26 Adam Chlipala Most exp rules for new Reduce
2008-11-26 Adam Chlipala Start of new Reduce
2008-11-12 Adam Chlipala Add CutMulti
2008-10-31 Adam Chlipala Replace 'with' with '++'
2008-10-30 Adam Chlipala Especialize
2008-10-23 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-13 Adam Chlipala Remove unneeded 'rec' in Reduce
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-08-16 Adam Chlipala Compiling a con-tuple-using test case
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-07-24 Adam Chlipala Record cut
2008-07-17 Adam Chlipala MonoReduce
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-06-26 Adam Chlipala Reduce efold
2008-06-26 Adam Chlipala Cjrize cfold