Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/basicAST.idr

Last active Nov 6, 2017
Embed
What would you like to do?
-- Read a line and return it
ReadLine (\x => Pure x)
-- Print a line "Hello" and return 5
WriteLine "Hello" (Pure 5)
-- Read a line and print it twice, and return 5
ReadLine (\x => WriteLine x (WriteLine x (Pure 5)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment