On Wed, Oct 26, 2005 at 04:56:23PM -0600, Luke Palmer wrote:
: > Then ^T $x binds T to the kind of $x.  And $x.kind == $y.kind asks
: > if two objects are of the same type,
: Don't you mean $x.kind eqv $y.kind?
: Ugh.

Now that infix:<::> has come available, maybe I mean:

    $x.kind :: $y.kind

Now all we need is infix:<:> to calculate the value of the relationship
of two items, and we can write:

    $a : $b :: $c : $d

:-) * .5


Reply via email to