[tlaplus] Question on Video 8a

[Brian Beckman <bc.beckman@xxxxxxxxx>]

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/b07afe7c-6b75-4bea-9cac-19a7a4f0d255n%40googlegroups.com.