log src/reduce_local.sig

age author description
2010-06-05 Adam Chlipala Another run of Specialize, using ReduceLocal on datatype parameters
2009-03-09 Adam Chlipala Conversion of functions to CPS, to facilitate ServerCall
2008-11-09 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass