Mercurial > urweb
diff lib/ur/listPair.ur @ 844:74a1e3bdf430
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Jun 2009 16:45:00 -0400 |
parents | 78504d97410b |
children | 0d30e6338c65 |
line wrap: on
line diff
--- a/lib/ur/listPair.ur Sun Jun 07 14:15:22 2009 -0400 +++ b/lib/ur/listPair.ur Sun Jun 07 16:45:00 2009 -0400 @@ -8,3 +8,14 @@ in mapX' end + +fun all [a] [b] f = + let + fun all' ls1 ls2 = + case (ls1, ls2) of + ([], []) => True + | (x1 :: ls1, x2 :: ls2) => f x1 x2 && all' ls1 ls2 + | _ => False + in + all' + end