From cf3258b2cf6a7022fcaa26ff071cb4d2a0c9bdec Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 20 Apr 2022 19:08:02 +0200
Subject: Basic functionality

---
 test.bruijn | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

(limited to 'test.bruijn')

diff --git a/test.bruijn b/test.bruijn
index c941535..cd5133b 100644
--- a/test.bruijn
+++ b/test.bruijn
@@ -1,6 +1,14 @@
-#nil [[0]]
+# Church numerals
+zero [[0]]
+succ [[[1 (2 1 0)]]]
+add [[[[3 1 (2 1 0)]]]]
+mul [[[2 (1 0)]]]
+exp [[0 1]]
+
+Y [[1 (0 0)] [1 (0 0)]]
+
 true [[1]]
-#false [[0]]
+false [[0]]
 id [0]
 iota [0 [[[2 0 (1 0)]]] [[1]]]
-main id true
+main id false
-- 
cgit v1.2.3