Skip to content

Instantly share code, notes, and snippets.

@kunishi
Created January 29, 2014 10:19
Show Gist options
  • Select an option

  • Save kunishi/8685146 to your computer and use it in GitHub Desktop.

Select an option

Save kunishi/8685146 to your computer and use it in GitHub Desktop.
fun padd(P, nil) = P
| padd(nil, Q) = Q
| padd((p:real)::ps, q::qs) = (p+q)::padd(ps, qs);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment