diff options
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)) |