[tlaplus] New blog series: TLA+ for startups

[Andy Dwelly <andydwelly@xxxxxxxxx>]

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.