def even

bendtorch-core@0.1.0.0 · src/tensor/word_injective.bend:13

import Base

13def even(number: Nat) -> Bool:
14  match number:
15    case 0n:
16      True{}
17    case 1n:
18      False{}
19    case 2n+p:
20      even(p)