dcreager.net

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