1 files changed, 0 insertions, 25 deletions
diff --git a/std/Church.bruijn b/std/Church.bruijn
deleted file mode 100644
index 9e567b0..0000000
--- a/std/Church.bruijn
+++ /dev/null
@@ -1,25 +0,0 @@
-# MIT License, Copyright (c) 2022 Marvin Borner
-
-zero [[0]]
-
-zero? [0 [[[0]]] [[1]]]
-
-dec [[[2 [[0 (1 3)]] [1] [0]]]]
-
---‣ dec
-
-inc [[[1 (2 1 0)]]]
-
-++‣ inc
-
-add [[[[3 1 (2 1 0)]]]]
-
-…+… add
-
-mul [[[2 (1 0)]]]
-
-…⋅… mul
-
-exp [[0 1]]
-
-…^… exp