deque-blog/DirectVsCpsStyle.idr

Last active November 30, 2017 14:08

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

Download ZIP

Raw

DirectVsCpsStyle.idr

	parens : String -> String
	parens s = "(" ++ s ++ ")"

	-- In the REPL:
	parens "Hello"
	> "(Hello)"

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