deque-blog/double_it_execution.idr

Created June 13, 2017 12:42

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

Download ZIP

Raw

double_it_execution.idr

	[*src/InOut> :exec double_it
	123 -- My input
	246 -- Output

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