Listing 2. Naive Fibonacci

fib(0) = 1.
fib(1) = 1.
fib(N) = F =>
  N > 1,
  F = fib(N - 1) + fib(N - 2).

main =>
  N = read_int(),
  println(fib(N)).