diff options
| author | Marvin Borner | 2024-10-26 21:40:49 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-10-26 21:40:49 +0200 |
| commit | 10e46668751765c2981a07da3bc9411093db2bee (patch) | |
| tree | 370b6ef698ebf0cd119b523a8bef382552c351dd /std/List | |
| parent | 20e3e03914b128a77595e39ee909a42d425a5d4b (diff) | |
Minor fixes
Diffstat (limited to 'std/List')
| -rw-r--r-- | std/List/Church.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
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) |