disco-0.1.0.0: docs/tutorial/example/let.disco
f : Nat -> List(Nat)
f n =
let x : Nat = n//2,
y : Nat = x + 3,
z : List(Nat) = [3,x,y]
in n :: z
f : Nat -> List(Nat)
f n =
let x : Nat = n//2,
y : Nat = x + 3,
z : List(Nat) = [3,x,y]
in n :: z