log src/specialize.sml

age author description
2010-06-05 Adam Chlipala Another run of Specialize, using ReduceLocal on datatype parameters
2009-06-18 Adam Chlipala Fix a bug with 'Some p' patterns, where 'p' needs specialization
2009-06-13 Adam Chlipala <dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls
2009-06-09 Adam Chlipala Some standard library reorgs and additions; handle mutual datatypes better in Specialize
2009-05-16 Adam Chlipala Mutual datatypes through Effectize
2009-05-12 Adam Chlipala Improvements while working on Graftid
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-08-09 Adam Chlipala A multi-parameter datatype all the way through
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes