diff options
| author | Marvin Borner | 2022-07-12 22:36:35 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-07-12 22:36:35 +0200 |
| commit | 495127cde69e0008b8a1c428d5ddf0d805eb25bb (patch) | |
| tree | 92e1d75db3c79d41768573da524a057269668208 /test.bruijn | |
| parent | 269a7832ece9c1997d0431c41d04e91d46813a96 (diff) | |
Sync
Diffstat (limited to 'test.bruijn')
| -rw-r--r-- | test.bruijn | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test.bruijn b/test.bruijn index 1a12d1c..a846bd4 100644 --- a/test.bruijn +++ b/test.bruijn @@ -12,6 +12,20 @@ atom4 [[[[[0]]]]] :test [[0 1 0]] atom0 atom1 = atom1 atom0 atom1 :test [[[[3 2 1 0]]]] atom0 atom1 atom2 atom3 = atom0 atom1 atom2 atom3 +# =========== +# Combinators +# =========== + +S [[[2 0 (1 0)]]] +K [[1]] +I [0] + +i [0 S K] + +:test I = i i +:test K = i (i (i i)) +:test S = i (i (i (i i))) + # =============== # Church numerals # =============== |