diff options
| author | Marvin Borner | 2022-08-08 00:25:48 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-08 00:25:48 +0200 |
| commit | 9563b2cb9e58403877445a9c9964b5ee9e946075 (patch) | |
| tree | 2ee9842a59cc42228421b71b97c65af0e16bea27 /std/Combinator.bruijn | |
| parent | a614ac0ed73ae6e12c0c15d057c93a5c96d1e08c (diff) | |
Obviously trivial
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 bedc1e9..2a6bb29 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -22,6 +22,8 @@ F [[0]] Y [[1 (0 0)] [1 (0 0)]] +Z [[1 [1 1 0]] [1 [1 1 0]]] + Θ [[0 (1 1 0)]] [[0 (1 1 0)]] i [0 S K] |