Proof: Difference between revisions
J: bug fix: monadic symbols must depend on the operation being performed
m (J: make the system simpler to describe.) |
(J: bug fix: monadic symbols must depend on the operation being performed) |
||
Line 449:
zero=: context ,0x
monadic=: (1 :'[:context u@symbols; u
dyadic=: (1 :'[:context ,&symbols; u&kernel')([: :)
successor=: +&1x monadic
equals=: -:&kernel
|