From f8398804d351667a7b887b89f6f70c7d5c407d22 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 25 Mar 2024 16:21:54 +0100
Subject: More samples and definitions

---
 std/Number/Bruijn.bruijn | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to 'std/Number/Bruijn.bruijn')

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))
-- 
cgit v1.2.3