Orchid XP v7 wrote:
> OK, well, I'm sure once I've posted this Darren will tell me I've done 
> it all wrong, but hey. :-)

Not at all. I expect you understand this better than I do.

At one time, I understood how to do unification, but nowadays I'd have 
to go look it up (or work it out from scratch again).  I can *use* it 
OK, but actually implementing something that does the unification isn't 
something I've already memorized.

Kudos to you for working it out on your own. :-)

-- 
   Darren New / San Diego, CA, USA (PST)
     "That's pretty. Where's that?"
          "It's the Age of Channelwood."
     "We should go there on vacation some time."

Post a reply to this message