diff options
| author | Marvin Borner | 2022-07-26 13:52:10 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-07-26 13:56:21 +0200 |
| commit | 2502b1adb0243eb61b156920a6df389c3f883ac4 (patch) | |
| tree | 83b31741df2a020dad0910d97d5b7074a7b5a03f /std/Church.bruijn | |
| parent | e2eddf3edc1dfd49194bbb69eca518dcee70385f (diff) | |
Stupidity
Diffstat (limited to 'std/Church.bruijn')
| -rw-r--r-- | std/Church.bruijn | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/std/Church.bruijn b/std/Church.bruijn index 40807dd..412938a 100644 --- a/std/Church.bruijn +++ b/std/Church.bruijn @@ -1,7 +1,7 @@ # MIT License, Copyright (c) 2022 Marvin Borner -church-zero [[0]] -church-succ [[[1 (2 1 0)]]] -church-add [[[[3 1 (2 1 0)]]]] -church-mul [[[2 (1 0)]]] -church-exp [[0 1]] +zero [[0]] +succ [[[1 (2 1 0)]]] +add [[[[3 1 (2 1 0)]]]] +mul [[[2 (1 0)]]] +exp [[0 1]] |