13 lines
158 B
Text
13 lines
158 B
Text
|
|
(
|
||
|
|
(n) let
|
||
|
|
1 (product) let
|
||
|
|
(n 1 >=)
|
||
|
|
(
|
||
|
|
product n * (product) bind
|
||
|
|
n 1 - (n) bind
|
||
|
|
) while
|
||
|
|
product
|
||
|
|
) (factorial) lambda
|
||
|
|
|
||
|
|
5 factorial puts pop
|