diff options
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn index 81db105..7199c77 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -157,6 +157,8 @@ s [[[2 0 (1 0)]]] ⧗ (a → b → c) → (a → b) → a → c # thrush combinator: flipped $ t [[0 1]] ⧗ a → (a → b) → b +&‣ t + …&… t # turing combinator |