summaryrefslogtreecommitdiff
path: root/tests/twoArg.urs
Commit message (Collapse)AuthorAge
* Supporting any number of arguments for explicitly exported functionsGravatar Adam Chlipala2010-01-12