Comma (,) and Diamond (⋄)

July 8, 2022 · View on GitHub

View this file with results and syntax highlighting here.

Comma (,) and Diamond (⋄)

, or ⋄: Separator

→full documentation

Separates statements in blocks, programs, and arrays. Characters , and ⋄ are interchangeable with each other and with newline.

    a ← 3 , ⊢ b ← 2

    1 ⋄ 2 , 3

    ⟨1 , 2 ⋄ 3⟩

    {1 ⋄ 2 ⋄ 3}