Anonymous user
Fibonacci sequence: Difference between revisions
→{{header|Lean}}
No edit summary |
|||
Line 2,741:
def fib2 : ℕ → ℕ
| n := fib_aux n 1 0
#eval fib1 20
#eval fib2 20</lang>
|
No edit summary |
|||
Line 2,741:
def fib2 : ℕ → ℕ
| n := fib_aux n 1 0
#eval fib1 20
#eval fib2 20</lang>
|