diff options
| author | Marvin Borner | 2024-08-06 01:53:19 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-08-06 01:53:19 +0200 |
| commit | 0c3b464d3c73fcd1a6fde3f2f5882eddd5c79685 (patch) | |
| tree | 6ae5ac53ca8c4feff7902b0df9d6c5c94bf3eb87 /std/Combinator.bruijn | |
| parent | e2c3965f929556dda9f779c237f4ba96c8f6c542 (diff) | |
Complex updates
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 470c574..452ebfb 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -77,6 +77,8 @@ i* [[1 0]] ⧗ (a → b) → a → b …$… i* +$‣ i* + # idiot twice removed combinator i** [[[2 1 0]]] ⧗ (a → b → c) → a → b → c |