diff options
| author | Marvin Borner | 2022-08-12 15:26:03 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-12 15:26:03 +0200 |
| commit | cce495b3b4440997274ecab3d72ed61d6a50b007 (patch) | |
| tree | cc56c7af514dd6ca31edb5360a6682ac5439af01 /std/Combinator.bruijn | |
| parent | b3cf49974e8af4e35ffc01fbe2f8e181d38de03a (diff) | |
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.
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 12 |
1 files changed, 6 insertions, 6 deletions
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)) |