From 5c5e76d8a816e08b8f251daf826761aae9290ed3 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 3 Nov 2013 19:27:30 -0500 Subject: ListPair.map2, based on code by escalier@riseup.net --- tests/listpair.urp | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/listpair.urp (limited to 'tests/listpair.urp') diff --git a/tests/listpair.urp b/tests/listpair.urp new file mode 100644 index 00000000..1b447ed6 --- /dev/null +++ b/tests/listpair.urp @@ -0,0 +1,5 @@ +rewrite all Listpair/* + +$/list +$/listPair +listpair -- cgit v1.2.3