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 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'std/Number.bruijn')

diff --git a/std/Number.bruijn b/std/Number.bruijn
index 25a1f6c..a99bc19 100644
--- a/std/Number.bruijn
+++ b/std/Number.bruijn
@@ -9,10 +9,10 @@
 # the following functions are only here because of recursive imports of list/ternary
 
 # converts number to list of its digits
-number→list [=?0 {}(+0) <~>(z [[[rec]]] empty 0)] ⧗ Number → (List Number)
+number→list [=?0 {}(+0) (z [[[rec]]] empty 0)] ⧗ Number → (List Number)
 	rec =?0 case-end case-rec
 		case-rec &[[4 (0 : 3) 1]] (quot-rem 0 (+10))
-		case-end empty
+		case-end 1
 
 :test (number→list (+0)) ({}(+0))
 
-- 
cgit v1.2.3