From e8456ff880c5aa72171183e0b0043ca731a086fa Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 23 Feb 2023 14:25:27 +0100
Subject: Additions to standard library

Mainly new binary encoding and corresponding functions
---
 std/Church.bruijn | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 std/Church.bruijn

(limited to 'std/Church.bruijn')

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