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

Re: [tlaplus] New blog series: TLA+ for startups



That’s great, Andy, and thanks for the suggestion - I will certainly make that change.

Interesting to hear you have a study group. I was thinking of starting a Nottingham meetup along the same lines, so would be interested to compare notes.

Neil


On Sat, 7 Dec 2019 at 11:58, Andy Dwelly <andydwelly@xxxxxxxxx> wrote:
It’s a very nice example - I went through part 2 with my study group (Worthing UK fwiw) and we tried a few tweaks. The only change I’d suggest is putting the enabling conditions at the beginning of each formula rather than mixed up with the primed terms. I’ve got a feeling that this makes things a bit easier for TLC, and I certainly find it a bit easier to read since I can tell at once whether or not a formula is relevant to in a particular situation.

--
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/537f91ed-4ffa-4efd-8f41-af4a6f5030d5%40googlegroups.com.
--

Neil O'Connor
Chief Technology Officer
07791 182916


--
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/CADqF4tsKE1bbDyo7%2B92Xf-NrBciLY3mVAGp6qnjtAX7OLtoEhA%40mail.gmail.com.