DEBSOURCES
Skip Quicknav
sources / agda-stdlib / 2.1-4 / tests / monad / fibonacci / expected
12345678910
fib 0 = 0 fib 1 = 1 fib 2 = 1 fib 3 = 2 fib 5 = 5 fib 6 = 8 fib 7 = 13 fib 8 = 21 fib 9 = 34 fib 10 = 55