log src/reduce_local.sml

age author description
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-15 Adam Chlipala First gimpy RPC
2009-02-14 Adam Chlipala Start of RPCification
2008-11-26 Adam Chlipala Port Reduce improvements to ReduceLocal
2008-11-09 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass