summaryrefslogtreecommitdiff
path: root/src/reduce.sig
Commit message (Collapse)AuthorAge
* Some con reducingGravatar Adam Chlipala2008-06-08