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