diff options
| author | Marvin Borner | 2024-09-08 14:34:34 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-09-08 14:34:34 +0200 |
| commit | 8896fb6d8507f28708699e54a4fd03288b05d5b3 (patch) | |
| tree | 6f7c06bac4a187a7648ff93e47ea0947fa8b626c /std/List/Church.bruijn | |
| parent | f7be717a95009da05e5097a7e8a5b565f66495a0 (diff) | |
Fun new tupling technique
Diffstat (limited to 'std/List/Church.bruijn')
| -rw-r--r-- | std/List/Church.bruijn | 3 |
1 files changed, 1 insertions, 2 deletions
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) |