Proof: Difference between revisions
m
J: make the system simpler to describe.
(J: eliminate another class of unsupported statements (-. used dyadically between predicates)) |
m (J: make the system simpler to describe.) |
||
Line 447:
kernel=: >@{:
zero=: context ,0x
monadic=: (1 :'[:context symbols; u@kernel')( :[:)
|