From 8896fb6d8507f28708699e54a4fd03288b05d5b3 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 8 Sep 2024 14:34:34 +0200
Subject: Fun new tupling technique

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

(limited to 'std/List/Church.bruijn')

diff --git a/std/List/Church.bruijn b/std/List/Church.bruijn
index c17988c..4b1470d 100644
--- a/std/List/Church.bruijn
+++ b/std/List/Church.bruijn
@@ -532,7 +532,6 @@ enumerate zip (iterate ++‣ (+0)) ⧗ (List a) → (List (Pair Number a))
 :test (enumerate "abc") (((+0) : 'a') : (((+1) : 'b') : {}((+2) : 'c')))
 
 # calculates all fixed points of given functions as a list
-y* [[[0 1] <$> 0] xs] ⧗ (List a) → (List b)
-	xs [[1 <! ([[1 2 0]] <$> 0)]] <$> 0
+y* y [[&(1 0) <$> 0]]
 
 :test (&(+5) <$> (y* ([[[=?0 true (1 --0)]]] : {}[[[=?0 false (2 --0)]]]))) (false : {}true)
-- 
cgit v1.2.3