From 008fa86e9e66ca1b4503eb0ce7bbf42c38e3a521 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Mon, 15 Aug 2022 15:36:27 +0200 Subject: General std cleanup --- std/Logic.bruijn | 2 ++ 1 file changed, 2 insertions(+) (limited to 'std/Logic.bruijn') diff --git a/std/Logic.bruijn b/std/Logic.bruijn index a254715..f4b7470 100644 --- a/std/Logic.bruijn +++ b/std/Logic.bruijn @@ -55,6 +55,8 @@ xnor [[1 0 (not 0)]] :test (xnor false true) (false) :test (xnor false false) (true) +# this function is generally redundant +# I personally just write (exp? case-T case-F) directly if [[[2 1 0]]] (?!) if -- cgit v1.2.3