Skip to content

Instantly share code, notes, and snippets.

@deque-blog deque-blog/fakeProgAST.idr
Last active Nov 10, 2017

Embed
What would you like to do?
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
You can’t perform that action at this time.