💾 Archived View for dcreager.net › concatenative › natural-normal-basis.gmi captured on 2024-03-21 at 15:38:00. Gemini links have been rewritten to link to archived content

View Raw

More Information

-=-=-=-=-=-=-

The natural normal concatenative basis

Like the natural linear basis, the natural normal basis has one primitive instruction for each category of instruction:

[B] [A] cat  ≜ [B A]
    [A] drop ≜
    [A] dup  ≜ [A] [A]
    [A] i    ≜ A
[B] [A] swap ≜ [A] [B]
    [A] unit ≜ [[A]]

The natural linear concatenative basis