def half

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

import Base

4def half(number: Nat) -> Nat:
5  match number:
6    case 0n:
7      0n
8    case 1n:
9      0n
10    case 2n+p:
11      1n+half(p)