nrolland/gist:3731548

Created September 16, 2012 08:19

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

Download ZIP

a tree

Raw

gistfile1.fs

	type 'a Tree=
	\| Leaf
	\| Branch of 'a * 'a Tree * 'a Tree

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