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