From a9880a191bbb5eeaf0faef9336263c92ef9351b6 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 21 Mar 2024 20:45:15 +0100
Subject: Weird mistakes

---
 std/List.bruijn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'std/List.bruijn')

diff --git a/std/List.bruijn b/std/List.bruijn
index a240e3d..488c131 100644
--- a/std/List.bruijn
+++ b/std/List.bruijn
@@ -510,8 +510,8 @@ iterate z [[[rec]]] ⧗ (a → a) → a → (List a)
 :test (take (+5) (iterate i (+4))) (take (+5) (repeat (+4)))
 :test (take (+0) (iterate ++‣ (+0))) (empty)
 
-# calculates all fixed points of a given function as a list
-y* [[[0 1] <$> 0] xs] ⧗ a → (List b)
+# calculates all fixed points of given function as a list
+y* [[[0 1] <$> 0] xs] ⧗ (List a) → (List b)
 	xs [[1 <! ([[1 2 0]] <$> 0)]] <$> 0
 
 :test (&(+5) <$> (y* ([[[=?0 true (1 --0)]]] : {}[[[=?0 false (2 --0)]]]))) (false : {}true)
-- 
cgit v1.2.3