diff options
| author | Marvin Borner | 2022-08-16 23:18:14 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-16 23:18:14 +0200 |
| commit | c5f1bbbf5aa9544465fc14f19c5009181ef9fc1c (patch) | |
| tree | 65badb97d72cb897a6b9fc3bc5dc9ba23c39fa6c /std/Combinator.bruijn | |
| parent | e06bf5c88f10c14286ea9fd91f4bdba00cda6da9 (diff) | |
Std improvements
very descriptive as always :D
I honestly don't know though
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn index 6144519..a1ffd1a 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -15,11 +15,13 @@ B [[[2 (1 0)]]] # Blackbird combinator B' [[[[3 (2 1 0)]]]] -(...) B' +(..) B' # Bunting combinator B'' [[[[[4 (3 2 1 0)]]]]] +(...) B'' + # Becard combinator B''' [[[[3 (2 (1 0))]]]] @@ -179,12 +181,6 @@ Z [[1 [1 1 0]] [1 [1 1 0]]] # iota combinator i [0 S K] -# True -true K - -# False -false KI - # -- combinator equivalency tests -- :test (A) (S (S K)) |