Anonymous user
Fibonacci sequence: Difference between revisions
→{{header|Lean}}
(moved language "Lean" alphabetically in its rightful place.) |
|||
Line 5,931:
=={{header|Lean}}==
It runs on Lean 3.4.2:
<lang lean>def fib1 : ℕ → ℕ
| |||
(moved language "Lean" alphabetically in its rightful place.) |
|||
Line 5,931:
=={{header|Lean}}==
It runs on Lean 3.4.2:
<lang lean>def fib1 : ℕ → ℕ
| |||