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

[tlaplus] Re: Question on Video 8a

Yes, I seem to be using the two terms to mean the same thing.  I'm sorry for the confusion; 
thanks for pointing it out.  I will note this in the errata.


On Friday, February 12, 2021 at 8:32:27 PM UTC-8 bc.be...@xxxxxxxxx wrote:
around 4:07 in Video 8a,


we start hearing about "module-complete"
expressions, but around 3:56, we were talking about "module-closed"
expressions. I was able to make sense of the video by assuming that
module-complete and module-closed are the same thing, but I wanted
to double check that I didn't miss something.

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/9c44095e-9bb2-4b1e-a29d-5d9560e27e02n%40googlegroups.com.