Mutual recursion: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
=={{header|ACL2}}== |
=={{header|ACL2}}== |
||
<lang>(mutual-recursion |
<lang lisp>(mutual-recursion |
||
(defun f (n) |
(defun f (n) |
||
(declare (xargs :mode :program)) |
(declare (xargs :mode :program)) |
||