From 10e46668751765c2981a07da3bc9411093db2bee Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 26 Oct 2024 21:40:49 +0200
Subject: Minor fixes

---
 std/List/Church.bruijn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'std/List')

diff --git a/std/List/Church.bruijn b/std/List/Church.bruijn
index 636e3aa..c8d5d29 100644
--- a/std/List/Church.bruijn
+++ b/std/List/Church.bruijn
@@ -538,6 +538,6 @@ y* [[[0 1] <$> 0] xs] ⧗ (List a) → (List b)
 :test (&(+5) <$> (y* ([[[=?0 true (1 --0)]]] : {}[[[=?0 false (2 --0)]]]))) (false : {}true)
 
 # similar to y* but passes arguments as a list
-list-y* y [[&(1 0) <$> 0]]
+list-y* y [[&(1 0) <$> 0]] ⧗ (List a) → (List b)
 
 :test (&(+5) <$> (list-y* ([[=?0 true (_1 --0)]] : {}[[=?0 false (^1 --0)]]))) (false : {}true)
-- 
cgit v1.2.3