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

Re: [tlaplus] meaning of the lead to (~>) operator

From: Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>
Date: Wed, 14 Apr 2021 11:15:58 -0700
References: <ca126b11-a19f-4cb2-b67c-fcd9df861299n@googlegroups.com> <CAM3xQxH4BdebG+fYKYN4XokHabKazhRRYS1TzGRWv81+OS0Pnw@mail.gmail.com> <c46bd513-edfa-41cf-aca1-00b4aa3e669fn@googlegroups.com> <84c27c0d-ecc1-7b8d-13c6-32bd48f81a07@gmail.com> <CAM3xQxEYU-7RFWmnFTYpDaRPOWQ1UC4a-ap81GhOvzR4+Gegeg@mail.gmail.com>

On 14.04.21 11:14, Isaac DeFrain wrote:

I now understand the issue you are encountering, Seup, as I am alsoencountering the same issue with ~> in a spec. This must be a bug in TLC.


https://github.com/tlaplus/tlaplus/issues/604

Markus

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/531db585-55d1-b729-0961-8c0d1877d8d4%40lemmster.de.

Follow-Ups:
- Re: [tlaplus] meaning of the lead to (~>) operator
  - From: Isaac DeFrain

References:
- [tlaplus] meaning of the lead to (~>) operator
  - From: seup yun
- Re: [tlaplus] meaning of the lead to (~>) operator
  - From: Isaac DeFrain
- Re: [tlaplus] meaning of the lead to (~>) operator
  - From: seup yun
- Re: [tlaplus] meaning of the lead to (~>) operator
  - From: Hillel Wayne
- Re: [tlaplus] meaning of the lead to (~>) operator
  - From: Isaac DeFrain

Prev by Date: Re: [tlaplus] meaning of the lead to (~>) operator
Next by Date: Re: [tlaplus] meaning of the lead to (~>) operator
Previous by thread: Re: [tlaplus] meaning of the lead to (~>) operator
Next by thread: Re: [tlaplus] meaning of the lead to (~>) operator
Index(es):
- Date
- Thread