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