[Jprogramming] Documentation for Explicit Definition

[Marc Simpson]

2011/10/27 Björn Helgason <gosinn at gmail.com>:
> It does
>
> *4*.The arguments to a definition are initialized by =. . The effects for a
> dyadic verb are as follows:
>  f=: 4 : 0
>   x=. (left   argument)
>   y=. (right argument)
>   (rest of verb)
>  )

I'm afraid that I don't see how this clarifies that a  '13 : n'
definition is equivalent to '4 : n' when 'x' is referenced and no
tacit definition can be inferred.

M