Mercurial > urweb

diff lib/ur/listPair.urs @ 1885:8297968cf7ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Rename ListPair.map2 to ListPair.mp
author Adam Chlipala <adam@chlipala.net>
date Mon, 04 Nov 2013 08:38:20 -0500
parents 5c30eea7aa78
children
line wrap: on
line diff
--- a/lib/ur/listPair.urs	Sun Nov 03 19:27:30 2013 -0500
+++ b/lib/ur/listPair.urs	Mon Nov 04 08:38:20 2013 -0500
@@ -6,5 +6,5 @@
 
 val all : a ::: Type -> b ::: Type -> (a -> b -> bool) -> list a -> list b -> bool
 
-val map2 : a ::: Type -> b ::: Type -> c ::: Type
-           -> (a -> b -> c) -> list a -> list b -> list c
+val mp : a ::: Type -> b ::: Type -> c ::: Type
+         -> (a -> b -> c) -> list a -> list b -> list c