[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Curious oddity

From: fl <freder...@xxxxxxxxxxx>
Date: Sat, 3 Sep 2016 05:35:21 -0700 (PDT)

Hi everybody,

what do you think of that:

x = y => [] x = y

--

FL

Follow-Ups:
- Re: Curious oddity
  - From: fl

Prev by Date: Re: [tlaplus] Experimenting with PlusCal / TLA+ at Dropbox
Next by Date: Re: Curious oddity
Previous by thread: Re: [Dr. TLA+ Series] Fast Paxos - Cheng Huang (Monday, August 29th, 10-11:30am PDT)
Next by thread: Re: Curious oddity
Index(es):
- Date
- Thread