example|RecursiveFactorial
~~~
:<factorial>
dup
#1
-eq?
0;
drop
dup
n:dec <factorial>
*
;
:factorial
dup
n:zero?
[
n:inc
]
[
<factorial>
]
choose
;
~~~