From: dewar@gnat.com (Robert Dewar)
Subject: Re: Extended modal types
Date: 29 May 2002 02:54:54 -0700
Date: 2002-05-29T09:54:54+00:00 [thread overview]
Message-ID: <5ee5b646.0205290154.4bf06e4f@posting.google.com> (raw)
In-Reply-To: wccd6vfelbs.fsf@shell01.TheWorld.com
Robert A Duff <bobduff@shell01.TheWorld.com> wrote in message news:<wccd6vfelbs.fsf@shell01.TheWorld.com>...
> Robert,
>
> Your history is slightly wrong. I never wanted to have non-binary
> modular types, and I agree with you that they are a mistake.
OK, sorry about that! So too bad you did not manage to eliminate them :-)
next prev parent reply other threads:[~2002-05-29 9:54 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-05-24 8:53 Extended modal types Anatoly Chernyshev
2002-05-24 11:38 ` Marc A. Criley
2002-05-25 15:57 ` Robert Dewar
2002-05-25 18:06 ` Frank J. Lhota
2002-05-25 18:40 ` Florian Weimer
2002-05-25 21:56 ` David C. Hoos, Sr.
2002-05-27 4:57 ` Robert I. Eachus
2002-05-27 5:52 ` Florian Weimer
2002-05-27 23:47 ` Robert I. Eachus
2002-05-29 1:16 ` Robert Dewar
2002-05-29 2:31 ` Robert A Duff
2002-05-29 9:19 ` Dmitry A. Kazakov
2002-05-29 9:54 ` Robert Dewar [this message]
2002-05-29 15:20 ` Anatoly Chernyshev
2002-05-29 23:36 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox