disco-0.1.0.0: docs/tutorial/example/basics.disco

approx_pi : Rational
approx_pi = 22/7

increment : N -> N
increment(n) = n + 1