From ed413955603a4a88e6ad5158afc354f774b514ac Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Sun, 26 Jan 2020 08:44:57 -0800 Subject: [PATCH] Definition for 'not' in terms of 'branch'. --- thun/defs.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/thun/defs.txt b/thun/defs.txt index 3ad9205..41e7bc4 100644 --- a/thun/defs.txt +++ b/thun/defs.txt @@ -35,6 +35,7 @@ infra == swons swaack [i] dip swaack infrst == infra first make_generator == [codireco] ccons neg == 0 swap - +not == [true] [false] branch nullary == [stack] dinfrirst of == swap at pam == [i] map