let rec fact 0 = 1  ||
        fact n = n*fact(n-1)

in "10! = " @ itos( fact 10 )

--\fB Factorial in LML. \fP