Proof: Difference between revisions
Content added Content deleted
(J: bug fix: monadic symbols must depend on the operation being performed) |
m (J: generalize: zero is not a free variable) |
||
| Line 438: | Line 438: | ||
<lang J>context=:3 :0 |
<lang J>context=:3 :0 |
||
if. 0 = L. y do. (,: ; ]) y return. end. |
if. 0 = L. y do. context (,: ; ]) y return. end. |
||
kernel=. > {: y |
kernel=. > {: y |
||
symbols=. (#$kernel) {. > {. y |
symbols=. (#$kernel) {. > {. y |
||
| Line 447: | Line 447: | ||
kernel=: >@{: |
kernel=: >@{: |
||
zero=: |
zero=: context0x |
||
monadic=: (1 :'[:context u@symbols; u&kernel')( :[:) |
monadic=: (1 :'[:context u@symbols; u&kernel')( :[:) |
||