Right Tack (⊢)

⊢ 𝕩: Identity

→full documentation

Return 𝕩.

    ⊢ 5
5

𝕨 ⊢ 𝕩: Right

→full documentation

Return 𝕩.

    5 ⊢ 8
8

    'a' ⊢ 1‿2‿3
⟨ 1 2 3 ⟩