From 8791efda0cf7392144117cf780bfb6d687d2da5e Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Tue, 4 Jul 2023 12:29:30 +0100
Subject: Add more built-in functions.

---
 src/Encoded/Bool.idr | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Encoded/Bool.idr')

diff --git a/src/Encoded/Bool.idr b/src/Encoded/Bool.idr
index 778f65d..731f45c 100644
--- a/src/Encoded/Bool.idr
+++ b/src/Encoded/Bool.idr
@@ -8,11 +8,11 @@ B = N
 
 export
 True : Term B ctx
-True = Lit 0
+True = 0
   
 export
 False : Term B ctx
-False = Lit 1
+False = 1
 
 export
 if' : Term (B ~> ty ~> ty ~> ty) ctx
-- 
cgit v1.2.3