13 lines
234 B
Text
13 lines
234 B
Text
|
(mutual-recursion
|
||
|
|
(defun f (n)
|
||
|
|
(declare (xargs :mode :program))
|
||
|
|
(if (zp n)
|
||
|
|
1
|
||
|
|
(- n (m (f (1- n))))))
|
||
|
|
|
||
|
|
(defun m (n)
|
||
|
|
(declare (xargs :mode :program))
|
||
|
|
(if (zp n)
|
||
|
|
0
|
||
|
|
(- n (f (m (1- n)))))))
|