8 IO..•stdout ≪ `a0 = ´ ≪ a ≪ "{n}
9 IO..•stdout ≪ `a1 = ´ ≪ ../a ≪ "{n}
10 IO..•stdout ≪ `a2 = ´ ≪ ../../a ≪ "{n}
15 odd: \ n → [if n = 0 false [even n-1]]
16 even: \ n → [if n = 0 true [odd n-1]]
17 IO..•stdout ≪ `Is 0 odd? --> ´ ≪ [odd 0] ≪ "{n}
18 IO..•stdout ≪ `Is 4 even? --> ´ ≪ [even 4] ≪ "{n}