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