[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.