factorial-letrec.lanthorn @master — raw · history · blame

1
2
3
4

letrec
    fact = fun(n) -> if eq(n, 1) then 1 else mul(n, fact(sub(n, 1)))
in
    fact(5)