diff options
| author | Marvin Borner | 2023-02-21 05:42:41 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-21 05:42:41 +0100 |
| commit | c5dc5c2d811c66b47733b98a304c0f0b6cc6c947 (patch) | |
| tree | 6b7446353a3dd2b450ad945cedf3fc1d58fcf4f5 /std/Combinator.bruijn | |
| parent | e4acd9e833bc7f94519e89494fb5c5b1008649a1 (diff) | |
Standard library sync
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn index 34f9631..37fa504 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -180,6 +180,7 @@ w' [[0 1 1]] y [[1 (0 0)] [1 (0 0)]] # z fixed point combinator +# y and z are almost always interchangeable z [[1 [1 1 0]] [1 [1 1 0]]] # theta combinator |