-
-
Save ret/866f48a417c30d0fd1adab5f3775e32e to your computer and use it in GitHub Desktop.
Egg Timer*
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Egg Timer* | |
Stopped* | |
wind forward -> Done? | |
Ticking | |
wind forward -> Done? | |
wind backward -> Done? | |
tick -> Done? | |
Done? | |
time remaining? -> Ticking | |
## Note to implementors: Ding on this transition! | |
no time remaining? -> Stopped |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment