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