summaryrefslogtreecommitdiff
path: root/src/reduce_local.sig
Commit message (Expand)AuthorAge
* Conversion of functions to CPS, to facilitate ServerCallGravatar Adam Chlipala2009-03-08
* Especialize working reasonably well; need to add new closure representation passGravatar Adam Chlipala2008-11-09