[Jprogramming] Documentation for Explicit Definition

[Raul Miller]

2011/10/27 Björn Helgason <gosinn at gmail.com>:
> As you see from the documentation:
>
> f=: 3 : 0
> a=: 2+b=. y ^ 2
> a+a*b
> :
> x*x+y
> )
>
> 3 can be for both x and y and what is after : is the dyadic case.

This is true, but the dictionary currently states that the result of
13 : text is equivalent to 3 : text when a translation cannot be made.

You are stating that the result is equivalent to 3 :(F text) -- which
conflicts with what the dictionary says.

-- 
Raul