Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/botSequence.idr

Last active Nov 10, 2017
Embed
What would you like to do?
botSequence : TestBot
botSequence = MkTestBot
[ Typing "Spock"
, Thinking "Trying again... (press enter to continue)"
, Typing "Scotty"
, Thinking "Nore more ideas. I give up."]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment