aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Logic.bruijn
diff options
context:
space:
mode:
authorMarvin Borner2022-08-20 22:30:31 +0200
committerMarvin Borner2022-08-20 22:30:31 +0200
commitb68307db49807c83860f4303a05d08f25dbf6375 (patch)
tree240891b0fd979016502a1e1ec0f207d432936a3e /std/Logic.bruijn
parent7e5cae744c3943eae7806c533f65acc5ff8fbe8a (diff)
Parser shenanigans
Diffstat (limited to 'std/Logic.bruijn')
-rw-r--r--std/Logic.bruijn4
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]