diff options
| author | Marvin Borner | 2022-04-22 00:49:47 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-04-22 00:49:47 +0200 |
| commit | 3b90d4f15ebad7dc15d78195397559bcca3bd8fb (patch) | |
| tree | a2a77a0758fd5c5b6c6fc4d636a5e611101c9427 /test.bruijn | |
| parent | cf3258b2cf6a7022fcaa26ff071cb4d2a0c9bdec (diff) | |
Balanced ternary something
I don't even know anymore. What's happening? Quite confusing.
Diffstat (limited to 'test.bruijn')
| -rw-r--r-- | test.bruijn | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/test.bruijn b/test.bruijn deleted file mode 100644 index cd5133b..0000000 --- a/test.bruijn +++ /dev/null @@ -1,14 +0,0 @@ -# Church numerals -zero [[0]] -succ [[[1 (2 1 0)]]] -add [[[[3 1 (2 1 0)]]]] -mul [[[2 (1 0)]]] -exp [[0 1]] - -Y [[1 (0 0)] [1 (0 0)]] - -true [[1]] -false [[0]] -id [0] -iota [0 [[[2 0 (1 0)]]] [[1]]] -main id false |