1 files changed, 0 insertions, 14 deletions

diff --git a/test.bruijn b/test.bruijn
deleted file mode 100644
index cd5133b..0000000
--- a/test.bruijn
+++ /dev/null
@@ -1,14 +0,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]]
-id [0]
-iota [0 [[[2 0 (1 0)]]] [[1]]]
-main id false