diff tests/listpair.ur @ 1884:5c30eea7aa78

ListPair.map2, based on code by escalier@riseup.net
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Nov 2013 19:27:30 -0500
parents
children 8297968cf7ef
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/listpair.ur	Sun Nov 03 19:27:30 2013 -0500
@@ -0,0 +1,6 @@
+val x = 1 :: 2 :: []
+val y = 3 :: 4 :: []
+
+fun main () : transaction page = return <xml>
+  {[ListPair.map2 plus x y]}
+</xml>