danlamanna/gist:232f901c71c4e96c78c0

Last active August 29, 2015 14:05

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

Select an option

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

Download ZIP

Raw

gistfile1.ML

	fun rev(nil, M) = M
	\| rev(x::xs, ys) = rev(xs, x::ys);

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