summaryrefslogtreecommitdiff
path: root/tests/tail.ur
Commit message (Collapse)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