deque-blog/IOSpec.idr

Last active November 8, 2017 12:53

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/deque-blog/20410dcedc58e1abb91f2aedf0219a7c.js"></script>
Save deque-blog/20410dcedc58e1abb91f2aedf0219a7c to your computer and use it in GitHub Desktop.

Download ZIP

Raw

	data IOSpec a
	= ReadLine (String -> IOSpec a)
	\| PrintLine String (IOSpec a)
	\| Pure a

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment