1 2 3 4 5 6
fib 0 = 0 fib 1 = 1 fib(n: 2..<Inf): Nat = fib(n-1) + fib(n-2) print! fib 10 assert fib(10) == 55