Created
July 11, 2023 13:22
-
-
Save gahr/3a7da2c946baef481cb1d7f44a3f332d to your computer and use it in GitHub Desktop.
This file contains hidden or 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
| IN: scratchpad "How do I pick the 4th one?" { { "One" 1 } { "Two" 2 } { "Three" 3 } { "Four" 4 } } throw-restarts | |
| How do I pick the 4th one? | |
| The following restarts are available: | |
| :1 One | |
| :2 Two | |
| :3 Three | |
| 4 :res Four | |
| Type :help for debugging help. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment