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

[tlaplus] Question on Video 8a

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