disco-0.1.0.0: docs/tutorial/example/function.disco
f : N -> N f(x) = x + 7 g : Z -> Bool g(n) = (n - 3) > 7 factorial : N -> N factorial(0) = 1 factorial(n) = n * factorial(n .- 1)
f : N -> N f(x) = x + 7 g : Z -> Bool g(n) = (n - 3) > 7 factorial : N -> N factorial(0) = 1 factorial(n) = n * factorial(n .- 1)