kde.fun 496 B

1234567891011121314151617181920212223242526
  1. #import std
  2. #import nat
  3. #import psp
  4. pfi =
  5. ~&iNC pnode[
  6. mnemonic: 'u',
  7. fval: ("f","g"). subset^("f","g"),
  8. arity: 2,
  9. help: 'binary subset combinator']
  10. escapes = --(^A(~mnemonic,~&)* pfi) psp-escapes
  11. #binary+
  12. kde =
  13. ~&iNC pnode[
  14. mnemonic: 'K',
  15. fval: <'escape code missing after K'>!%,
  16. help: 'escape to numerically coded operators',
  17. escaping: %nI?(
  18. ~&ihrPB+ ^E(~&l,~&r.mnemonic)*~+ ~&D\(~&mS escapes),
  19. <'numeric escape code missing after K'>!%),
  20. arity: 1]