pfi.fun 174 B

1234567891011121314
  1. #import std
  2. #import nat
  3. #import psp
  4. #binary+
  5. pfi =
  6. ~&iNC pnode[
  7. mnemonic: 'u',
  8. fval: ("f","g"). subset^("f","g"),
  9. arity: 2,
  10. help: 'binary subset combinator']