Re: [q-lang-users] The implicit operator in Q

[John C. <co...@cc...>]

Albert Graef scripsit:

> So, if you have an expression of the form bin X T1 T2 you can still be 
> sure that it is a normal form. I guess that this solves your problem?

Yes, it does.  Thanks.

> OTOH, the following equation is now valid:
> 
> bin X T1 T2 Y = ...;
> 
> Which makes sense if you want to also be able to use an (essentially 
> equivalent) equation like:
> 
> T:Bintree Y = ...;

Good.

-- 
Yes, chili in the eye is bad, but so is your    John Cowan
ear.  However, I would suggest you wash your    co...@cc...
hands thoroughly before going to the toilet.    http://www.ccil.org/~cowan
        --gadicath