Anonymous user
Fibonacci sequence: Difference between revisions
m
→{{header|Lean}}
Line 5,951:
-- Use #eval to
#eval fib1 20
#eval fib2 20</lang>
|