Comment by simplegeek Comment by simplegeek 6 months ago 0 replies Copy Link View on Hacker News Thank you :) I was wondering how this would look in TLA+/PlusCal.