diff options
| author | Marvin Borner | 2022-08-15 15:36:27 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-15 16:03:47 +0200 |
| commit | 008fa86e9e66ca1b4503eb0ce7bbf42c38e3a521 (patch) | |
| tree | 40a753467299087575061f8d64cfab062122b291 /std/Logic.bruijn | |
| parent | d757a5756eb6cd8aa470e5f53bbb685c6bd5d0df (diff) | |
General std cleanup
Diffstat (limited to 'std/Logic.bruijn')
| -rw-r--r-- | std/Logic.bruijn | 2 |
1 files changed, 2 insertions, 0 deletions
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 |