diff options
Diffstat (limited to 'std/Number/Bruijn.bruijn')
| -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 |