deque-blog/StatefulStep.idr

Last active July 16, 2017 19: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/8d871a958a9643368ab589de2f50e0ed.js"></script>
Save deque-blog/8d871a958a9643368ab589de2f50e0ed to your computer and use it in GitHub Desktop.

Download ZIP

Raw

StatefulStep.idr

	Step : (state, acc, elem: Type) -> Type
	Step state acc elem = acc -> elem -> State state acc

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