diff options
| author | Marvin Borner | 2022-08-29 16:45:45 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-29 16:45:45 +0200 |
| commit | 627afd9bb206765699f3420a6ab0847e636550b4 (patch) | |
| tree | 0cc5c458bb68348ad25aa8c69f6b7ce3d36b6f35 /std/Church.bruijn | |
| parent | 2cc4d5bb3c473bd1bb5dc87f58feacb6772a22fe (diff) | |
Started mixfix chaining
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 |