1 2 3 4 5 6 7 8 9
fun fib 0 = 0 | fib 1 = 1 | fib n = (fib (n-1)) + (fib (n-2)); (* ex *) (* prnat(Ack (mknat 2) (mknat 3)); *) fib 38;