diff options
| author | Marvin Borner | 2024-03-18 11:27:35 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-18 11:27:35 +0100 |
| commit | 41ea5dc7651380b7f31955819b5dc0b8256f3ef4 (patch) | |
| tree | 64b68cf13b9b71874ce3125f677da158818a8ce9 /std/Number | |
| parent | e8a440a0b717621cce239499be22ea038a0093f5 (diff) | |
Minor orthographic improvements
Diffstat (limited to 'std/Number')
| -rw-r--r-- | std/Number/Bruijn.bruijn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/std/Number/Bruijn.bruijn b/std/Number/Bruijn.bruijn index 131a1a3..585d3bc 100644 --- a/std/Number/Bruijn.bruijn +++ b/std/Number/Bruijn.bruijn @@ -1,10 +1,10 @@ # MIT License, Copyright (c) 2023 Marvin Borner -# De Bruijn numeral system (named by me) +# de Bruijn numeral system (named by me) # proof that this numeral system does not support zero/eq/sub/etc. is in # Wadsworth, Christopher. "Some unusual λ-calculus numeral systems." # very sad indeed -# increments De Bruijn numeral +# increments de Bruijn numeral inc [[[2 1]]] ++‣ inc @@ -12,7 +12,7 @@ inc [[[2 1]]] :test (++(+0d)) ((+1d)) :test (++(+5d)) ((+6d)) -# decrements De Bruijn numeral +# decrements de Bruijn numeral dec [[1 0 0]] --‣ dec |