comparison tests/listpair.ur @ 1885:8297968cf7ef

Rename ListPair.map2 to ListPair.mp
author Adam Chlipala <adam@chlipala.net>
date Mon, 04 Nov 2013 08:38:20 -0500
parents 5c30eea7aa78
children
comparison
equal deleted inserted replaced
1884:5c30eea7aa78 1885:8297968cf7ef
1 val x = 1 :: 2 :: [] 1 val x = 1 :: 2 :: []
2 val y = 3 :: 4 :: [] 2 val y = 3 :: 4 :: []
3 3
4 fun main () : transaction page = return <xml> 4 fun main () : transaction page = return <xml>
5 {[ListPair.map2 plus x y]} 5 {[ListPair.mp plus x y]}
6 </xml> 6 </xml>