From cce495b3b4440997274ecab3d72ed61d6a50b007 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 12 Aug 2022 15:26:03 +0200
Subject: Added infix operator support

This isn't compatible with the :test .. = .. syntax, therefore I removed
it. They also don't have custom precedence/associativity support and
aren't chainable right now.
---
 std/Combinator.bruijn | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'std/Combinator.bruijn')

diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn
index 2a6bb29..1606403 100644
--- a/std/Combinator.bruijn
+++ b/std/Combinator.bruijn
@@ -28,14 +28,14 @@ Z [[1 [1 1 0]] [1 [1 1 0]]]
 
 i [0 S K]
 
-:test I = i i
+:test (I) (i i)
 
-:test K = i (i (i i))
+:test (K) (i (i (i i)))
 
-:test S = i (i (i (i i)))
+:test (S) (i (i (i (i i))))
 
-:test B = S (K S) K
+:test (B) (S (K S) K)
 
-:test C = S (S (K (S (K S) K)) S) (K K)
+:test (C) (S (S (K (S (K S) K)) S) (K K))
 
-:test W = S S (S K)
+:test (W) (S S (S K))
-- 
cgit v1.2.3