summaryrefslogtreecommitdiff
path: root/tests/tail.ur
Commit message (Expand)AuthorAge
* Don't try to check if functions are already tail-recursiveGravatar Adam Chlipala2009-09-17
* Basic tail recursion introduction seems to be workingGravatar Adam Chlipala2009-09-17