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 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] |