View this file with results and syntax highlighting here.

Right Tack (⊢)

⊢ 𝕩: Identity

→full documentation

Return 𝕩.

    ⊢ 5

𝕨 ⊢ 𝕩: Right

→full documentation

Return 𝕩.

    5 ⊢ 8

    'a' ⊢ 1‿2‿3