At 08:47 AM 8/2/02 -0500, Dan Connolly wrote: >I confused you with the use of [] in the premise >and the conclusion; they're not the same variable. Aha! I should have seen that. As for your other responses; no surprise for your position, but others may say differently. BTW, per your N3, I think many of the points of contention about global typing are answered, and your proposal is essentially the same as one of the datatyping proposals we've already seen. #g ------------------- Graham Klyne <GK@NineByNine.org>Received on Friday, 2 August 2002 13:17:06 EDT
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:50:23 EDT