diff options
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 |