Skip to content

Instantly share code, notes, and snippets.

@kunishi

kunishi/exists.sml

Created January 29, 2014 09:55
Show Gist options
  • Save kunishi/8684851 to your computer and use it in GitHub Desktop.
Save kunishi/8684851 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
exists.sml
fun exists(p, nil) = false
| exists(p, x::xs) = p(x) orelse exists(p, xs);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment