deque-blog/IOSpecNoPure.idr

Created November 28, 2017 09:17

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/f2fbebe572faed9a3153dda69e219cfa.js"></script>
Save deque-blog/f2fbebe572faed9a3153dda69e219cfa to your computer and use it in GitHub Desktop.

Download ZIP

Raw

IOSpecNoPure.idr

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

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