diff options
Diffstat (limited to 'std')
| -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]] |