View this file with results and syntax highlighting here.
Semicolon (;)
;: Next Body
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
F ← {𝕊a‿b: a-b; 𝕊a‿b‿c: b+c}
F 5‿2 # Matches first header
F 1‿3‿6 # Matches second header