summaryrefslogtreecommitdiff
path: root/src/especialize.sig
Commit message (Collapse)AuthorAge
* Reduce: Inline let-bound variables whose types involve functionsGravatar Adam Chlipala2010-08-22
|
* EspecializeGravatar Adam Chlipala2008-10-30