From 9563b2cb9e58403877445a9c9964b5ee9e946075 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Mon, 8 Aug 2022 00:25:48 +0200 Subject: Obviously trivial --- std/Combinator.bruijn | 2 ++ 1 file changed, 2 insertions(+) (limited to 'std/Combinator.bruijn') 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] -- cgit v1.2.3