💾 Archived View for dcreager.net › concatenative › natural-normal-basis.gmi captured on 2024-05-12 at 15:37:10. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-03-21)
-=-=-=-=-=-=-
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]]