From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: RTS graph and "temporal formulas"
Date: Thu, 22 Aug 2013 10:51:09 +0200
Date: 2013-08-22T10:51:04+02:00 [thread overview]
Message-ID: <5215d0f8$0$9508$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <2860f114-06c4-42a3-80ac-1c24b631b135@googlegroups.com>
On 22.08.13 02:59, Adam Beneschan wrote:
> On Wednesday, August 21, 2013 4:33:23 PM UTC-7, Dan'l Miller wrote:
>
>> But your professor utilized C-language's == as the logical comparison in the E->D transition's stimulus-constraint in 7b, not Ada's =. :-)
>
> Yeah, but he also used ":=" for assignment. I guess he wanted to avoid a simple "=" in every case. Not a bad idea where it could lead to confusion.
>
Microsoft could stop the confusion by finally including a key with an
assignment symbol on their new keyboards. Its lack is simply an oversight
of years of computer design, maybe a blind spot, and too embarrassing to
be fixed.
next prev parent reply other threads:[~2013-08-22 8:51 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-08-21 20:04 RTS graph and "temporal formulas" Emanuel Berg
2013-08-21 20:11 ` dukeofpurl
2013-08-21 20:16 ` Emanuel Berg
2013-08-21 21:19 ` optikos
2013-08-21 22:50 ` Emanuel Berg
2013-08-21 23:33 ` optikos
2013-08-22 0:19 ` Emanuel Berg
2013-08-22 16:17 ` Dan'l Miller
2013-08-22 21:04 ` Emanuel Berg
2013-08-22 21:32 ` Dan'l Miller
2013-08-22 21:35 ` Emanuel Berg
2013-08-22 21:45 ` Dan'l Miller
2013-08-22 0:59 ` Adam Beneschan
2013-08-22 8:51 ` Georg Bauhaus [this message]
2013-08-22 15:42 ` Adam Beneschan
2013-08-22 15:58 ` Alan Jump
2013-08-22 18:34 ` Georg Bauhaus
2013-08-22 18:56 ` Adam Beneschan
2013-08-22 21:12 ` Georg Bauhaus
2013-08-22 21:11 ` Robert A Duff
2013-08-23 13:52 ` Shark8
2013-08-23 15:36 ` Robert A Duff
2013-08-23 17:09 ` Jeffrey Carter
2013-08-25 10:22 ` AdaMagica
2013-08-26 15:23 ` Adam Beneschan
2013-08-27 12:44 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox