erg_parser 0.6.53

The Erg parser
Documentation
1
2
3
4
5
6
fib 0 = 0
fib 1 = 1
fib(n: 2..<Inf): Nat = fib(n-1) + fib(n-2)

print! fib 10
assert fib(10) == 55