diff options
author | Marvin Borner | 2023-10-15 19:38:47 +0200 |
---|---|---|
committer | Marvin Borner | 2023-10-15 19:38:47 +0200 |
commit | 8e224ab8125a3ec34e0c70ac9ef12ae389661aaf (patch) | |
tree | 3076fc519fbf9098af65708f11e1924d9a333c24 /std/Combinator.bruijn | |
parent | d6e375e2df252ca27de32fa29c2d69a69ce9f65b (diff) |
Fixed some minor things
Diffstat (limited to 'std/Combinator.bruijn')
-rw-r--r-- | std/Combinator.bruijn | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn index 667f0bb..8efc534 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -20,7 +20,7 @@ b'' [[[[[4 (3 2 1 0)]]]]] ⧗ (d → e) → (a → b → c → d) → a → b ↠# becard combinator b''' [[[[3 (2 (1 0))]]]] ⧗ (c → d) → (b → c) → (a → b) → a → d -# cardinal combinator: flip arguments: \f x y = f y z +# cardinal combinator: flip arguments: \f x y = f y x c [[[2 0 1]]] ⧗ (a → b → c) → b → a → c \‣ c @@ -238,6 +238,5 @@ z [[1 [1 1 0]] [1 [1 1 0]]] ⧗ (a → a) → a :test (i) (ι ι) :test (k) (ι (ι (ι ι))) :test (s) (ι (ι (ι (ι ι)))) -:test (b) (s (k s) k) :test (c) (s (s (k (s (k s) k)) s) (k k)) :test (w) (s s (s k)) |