3 ms·Fun! Reminds me that one of my favourite exercises in TLA+ is to design an elevator call system.by agentultra 8mo agoFun! Reminds me that one of my favourite exercises in TLA+ is to design an elevator call system.