From 3b90d4f15ebad7dc15d78195397559bcca3bd8fb Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 22 Apr 2022 00:49:47 +0200
Subject: Balanced ternary something

I don't even know anymore. What's happening? Quite confusing.
---
 test.bruijn | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 test.bruijn

(limited to 'test.bruijn')

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