summaryrefslogtreecommitdiff
path: root/tests/foldm.lac
Commit message (Expand)AuthorAge
* Folding through a functorGravatar Adam Chlipala2008-06-26