Skip to content

Instantly share code, notes, and snippets.

@kunishi
Created January 29, 2014 10:21
Show Gist options
  • Save kunishi/8685208 to your computer and use it in GitHub Desktop.
Save kunishi/8685208 to your computer and use it in GitHub Desktop.
datatype ('label) tree =
Node of 'label * 'label tree list;
fun sum(Node(a, nil)) = a
| sum(Node(a, t::ts)) = sum(t) + sum(Node(a, ts));
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment