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