[tlaplus] Re: Question on Video 8a

[Leslie Lamport <tlaplus.ll@xxxxxxxxx>]

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.

Leslie

On Friday, February 12, 2021 at 8:32:27 PM UTC-8 bc.be...@xxxxxxxxx wrote:

around 4:07 in Video 8a,

http://lamport.azurewebsites.net/video/video8a.html

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.