summaryrefslogtreecommitdiff
path: root/tests/tail.urs
Commit message (Expand)AuthorAge
* Basic tail recursion introduction seems to be workingGravatar Adam Chlipala2009-09-17