From 2502b1adb0243eb61b156920a6df389c3f883ac4 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 26 Jul 2022 13:52:10 +0200
Subject: Stupidity

---
 std/Church.bruijn | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'std/Church.bruijn')

diff --git a/std/Church.bruijn b/std/Church.bruijn
index 40807dd..412938a 100644
--- a/std/Church.bruijn
+++ b/std/Church.bruijn
@@ -1,7 +1,7 @@
 # MIT License, Copyright (c) 2022 Marvin Borner
 
-church-zero [[0]]
-church-succ [[[1 (2 1 0)]]]
-church-add [[[[3 1 (2 1 0)]]]]
-church-mul [[[2 (1 0)]]]
-church-exp [[0 1]]
+zero [[0]]
+succ [[[1 (2 1 0)]]]
+add [[[[3 1 (2 1 0)]]]]
+mul [[[2 (1 0)]]]
+exp [[0 1]]
-- 
cgit v1.2.3