diff options
author | Marvin Borner | 2022-08-20 22:30:31 +0200 |
---|---|---|
committer | Marvin Borner | 2022-08-20 22:30:31 +0200 |
commit | b68307db49807c83860f4303a05d08f25dbf6375 (patch) | |
tree | 240891b0fd979016502a1e1ec0f207d432936a3e /std/Logic.bruijn | |
parent | 7e5cae744c3943eae7806c533f65acc5ff8fbe8a (diff) |
Parser shenanigans
Diffstat (limited to 'std/Logic.bruijn')
-rw-r--r-- | std/Logic.bruijn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/Logic.bruijn b/std/Logic.bruijn index 94e737d..0e7c1ba 100644 --- a/std/Logic.bruijn +++ b/std/Logic.bruijn @@ -3,10 +3,10 @@ :import std/Combinator . # true -true K +true k # false -false KI +false ki # inverts boolean value not! [0 false true] |