From 6ae44d09faa0ae353c0818705503cad42127d102 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 3 Mar 2024 15:03:41 +0100
Subject: Even more samples

wtf
---
 std/Number/Binary.bruijn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/std/Number/Binary.bruijn b/std/Number/Binary.bruijn
index fcbe264..a056538 100644
--- a/std/Number/Binary.bruijn
+++ b/std/Number/Binary.bruijn
@@ -348,7 +348,7 @@ compare-case [[[(T.compare-case 2 1 0) ⋔ binary→ternary]]] ⧗ a → b → c
 
 # returns 1 if a>b, -1 if a<b and 0 if a=b
 # also: spaceship operator
-compare compare-case (+0) (+1) (-1) ⧗ Binary → Binary → Binary
+compare compare-case (+0) (+1) (-1) ⧗ Binary → Binary → Number
 
 :test (compare (+2b) (+2b)) ((+0))
 :test (compare (+2b) (+1b)) ((+1))
-- 
cgit v1.2.3