summaryrefslogtreecommitdiff
path: root/lib/ur/listPair.ur
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/listPair.ur')
-rw-r--r--lib/ur/listPair.ur2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ur/listPair.ur b/lib/ur/listPair.ur
index 9a56f75a..a46cf187 100644
--- a/lib/ur/listPair.ur
+++ b/lib/ur/listPair.ur
@@ -1,4 +1,4 @@
-fun mapX (a ::: Type) (b ::: Type) (ctx ::: {Unit}) f =
+fun mapX [a] [b] [ctx ::: {Unit}] f =
let
fun mapX' ls1 ls2 =
case (ls1, ls2) of