Ilmen

Lambda VxCs affixes proposal for TNIL

Jan 3rd, 2021
89
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. LVB — Lambda Variable Binding
  2. • /1: bind to sole variable of a monadic predicate
  3. • /2: bind to first variable of a binary predicate
  4. • /3: bind to second variable of a binary predicate
  5. • /4: bind to first variable of a ternary predicate
  6. • /5: bind to second variable of a ternary predicate
  7. • /6: bind to third variable of a ternary predicate
  8. • /7: bind to first variable of a quaternary predicate
  9. • /8: bind to second variable of a quaternary predicate
  10. • /9: bind to third variable of a quaternary predicate
  11. • /0: bind to fourth variable of a quaternary predicate
  12.  
  13. LVI — Lambda Variable Identification
  14. • /1: identify to sole variable of a monadic predicate
  15. • /2: identify to first variable of a binary predicate
  16. • /3: identify to second variable of a binary predicate
  17. • /4: identify to first variable of a ternary predicate
  18. • /5: identify to second variable of a ternary predicate
  19. • /6: identify to third variable of a ternary predicate
  20. • /7: identify to first variable of a quaternary predicate
  21. • /8: identify to second variable of a quaternary predicate
  22. • /9: identify to third variable of a quaternary predicate
  23. • /0: identify to fourth variable of a quaternary predicate
  24.  
  25. LBI — Lambda Binding and Identification
  26. • /1: bind and identify to sole variable of a monadic predicate
  27. • /2: bind and identify to first variable of a binary predicate
  28. • /3: bind and identify to second variable of a binary predicate
  29. • /4: bind and identify to first variable of a ternary predicate
  30. • /5: bind and identify to second variable of a ternary predicate
  31. • /6: bind and identify to third variable of a ternary predicate
  32. • /7: bind and identify to first variable of a quaternary predicate
  33. • /8: bind and identify to second variable of a quaternary predicate
  34. • /9: bind and identify to third variable of a quaternary predicate
  35. • /0: bind and identify to fourth variable of a quaternary predicate
  36.  
  37. ACM — Abstract Case Marker
  38. • /1: access the sole argument slot of a monadic predicate
  39. • /2: access the first argument slot of a binary predicate
  40. • /3: access the second argument slot of a binary predicate
  41. • /4: access the first argument slot of a ternary predicate
  42. • /5: access the second argument slot of a ternary predicate
  43. • /6: access the third argument slot of a ternary predicate
  44. • /7: access the first argument slot of a quaternary predicate
  45. • /8: access the second argument slot of a quaternary predicate
  46. • /9: access the third argument slot of a quaternary predicate
  47. • /0: access the fourth argument slot of a quaternary predicate
RAW Paste Data