From b68307db49807c83860f4303a05d08f25dbf6375 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 20 Aug 2022 22:30:31 +0200
Subject: Parser shenanigans

---
 std/Logic.bruijn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'std/Logic.bruijn')

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]
-- 
cgit v1.2.3