Skip to content

Instantly share code, notes, and snippets.

@nrolland
Created September 16, 2012 08:19
Show Gist options
  • Save nrolland/3731548 to your computer and use it in GitHub Desktop.
Save nrolland/3731548 to your computer and use it in GitHub Desktop.
a tree
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