diff options
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn new file mode 100644 index 0000000..95338a6 --- /dev/null +++ b/std/Combinator.bruijn @@ -0,0 +1,22 @@ +# MIT License, Copyright (c) 2022 Marvin Borner + +S [[[2 0 (1 0)]]] +K [[1]] +I [0] +B [[[2 (1 0)]]] +C [[[2 0 1]]] +W [[1 0 0]] +T [[1]] +F [[0]] +ω [0 0] +Ω ω ω +Y [[1 (0 0)] [1 (0 0)]] +Θ [[0 (1 1 0)]] [[0 (1 1 0)]] +i [0 S K] + +:test I = i i +:test K = i (i (i i)) +:test S = i (i (i (i i))) +:test B = S (K S) K +:test C = S (S (K (S (K S) K)) S) (K K) +:test W = S S (S K) |