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

Re: Unknown operator error during the TLA+ lectures

Thank you Michael for reporting this problem and Neil for responding.  I have noted this as a correction to the video.  I urge everyone to report any such problem they encounter so I can post a correction to help other viewers.