Question on Video 8a

21 views
Skip to first unread message

Brian Beckman

unread,
Feb 12, 2021, 11:32:27 PM2/12/21
to tlaplus
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.


Leslie Lamport

unread,
Feb 13, 2021, 12:40:13 PM2/13/21
to tlaplus
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

Reply all
Reply to author
Forward
0 new messages