Semicolon (;)

;: Next Body

→full documentation

End the current block body and start a new one. Headers (:) and predicates (?) can control which body is evaluated. A function can have two headers without these, indicating the monadic and dyadic cases.

    3 { 𝕩÷2 ; -𝕨‿𝕩 } 4   # Monadic and dyadic cases
⟨ ¯3 ¯4 ⟩

    F ← {𝕊a‿b: a-b; 𝕊a‿b‿c: b+c}

    F 5‿2                # Matches first header
3

    F 1‿3‿6              # Matches second header
9