From af953120359d9d65f2841f4ec67c4e2178d282af Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 12 Apr 2022 14:20:22 +0200
Subject: OK

---
 test.bruijn | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'test.bruijn')

diff --git a/test.bruijn b/test.bruijn
index 7a2632d..c941535 100644
--- a/test.bruijn
+++ b/test.bruijn
@@ -1,5 +1,6 @@
-nil [[0]]
+#nil [[0]]
 true [[1]]
-false [[0]]
+#false [[0]]
 id [0]
+iota [0 [[[2 0 (1 0)]]] [[1]]]
 main id true
-- 
cgit v1.2.3