diff options
Diffstat (limited to 'std/Number/Bruijn.bruijn')
| -rw-r--r-- | std/Number/Bruijn.bruijn | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/std/Number/Bruijn.bruijn b/std/Number/Bruijn.bruijn index 585d3bc..e4d0b36 100644 --- a/std/Number/Bruijn.bruijn +++ b/std/Number/Bruijn.bruijn @@ -5,7 +5,7 @@ # very sad indeed # increments de Bruijn numeral -inc [[[2 1]]] +inc [[[2 1]]] ⧗ Bruijn → Bruijn ++‣ inc @@ -13,9 +13,18 @@ inc [[[2 1]]] :test (++(+5d)) ((+6d)) # decrements de Bruijn numeral -dec [[1 0 0]] +dec [[1 0 0]] ⧗ Bruijn → Bruijn --‣ dec :test (--(+1d)) ((+0d)) :test (--(+5d)) ((+4d)) + +# multiplies de Bruijn numeral with unary number +mul [[1 0]] ⧗ Unary → Bruijn → Bruijn + +…⋅… mul + +:test ((+5u) ⋅ (+5d)) ((+25d)) +:test ((+0u) ⋅ (+5d)) ((+0d)) +:test ((+5u) ⋅ (+0d)) ((+0d)) |