⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠ You can decompress Drawing data with the command palette: ‘Decompress current Excalidraw file’. For more info check in plugin settings under ‘Saving’
Excalidraw Data
Text Elements
Signaller
Waiter
Time
Signal
return from wait()
Leave the monitor
Return from signal
Notes:
- very consistent, Horace want to prove the correctness
- if it goes in an orchestrated way it’s easier to prove