def head

bend-ml-llama@0.2.1.0 · main.bend:90

import Base

90# a head: 2·half numbers
91def head(+half: Nat) -> Nat:
92  Nat.add(half, half)