/fakeProgAST.idr
Last active Nov 10, 2017
| REPL> botSequence .| password 3 (== "Scotty") | |
| WriteLine "Password:" | |
| (WriteLine "Spock" | |
| (WriteLine "Login failed: 1 attempt(s)." | |
| (WriteLine "Password:" | |
| (WriteLine "Search again..." | |
| (ReadLine (\x => | |
| WriteLine "Scotty" | |
| (WriteLine "Successful login after 2 attempt(s)." | |
| (Pure True)))))))) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment