diff options
Diffstat (limited to 'std/Church.bruijn')
| -rw-r--r-- | std/Church.bruijn | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/std/Church.bruijn b/std/Church.bruijn index bba2784..6277dcc 100644 --- a/std/Church.bruijn +++ b/std/Church.bruijn @@ -4,16 +4,16 @@ zero [[0]] inc [[[1 (2 1 0)]]] -++( inc +++‣ inc add [[[[3 1 (2 1 0)]]]] -(+) add +…+… add mul [[[2 (1 0)]]] -(*) mul +…*… mul exp [[0 1]] -(^) exp +…^… exp |