diff options
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] |