From 6ad85ef29f7da7846ccc779c7c2a192b4db301b1 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 27 Jul 2024 20:32:48 +0200
Subject: Some accumulated math changes

---
 std/Generic/Number.bruijn | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'std/Generic')

diff --git a/std/Generic/Number.bruijn b/std/Generic/Number.bruijn
index e39fc91..08effa6 100644
--- a/std/Generic/Number.bruijn
+++ b/std/Generic/Number.bruijn
@@ -21,17 +21,17 @@ not-eq? not! ∘∘ eq? ⧗ Generic → Generic → Boolean
 # prefix for comparing functions
 ?‣ &eq?
 
-# returns true if number is lts than other number
+# returns true if number is less than other number
 lt? \gt? ⧗ Generic → Generic → Boolean
 
 …<?… lt?
 
-# returns true if number is lts than or equal to other number
+# returns true if number is less than or equal to other number
 le? not! ∘∘ gt? ⧗ Generic → Generic → Boolean
 
 …≤?… le?
 
-# returns true if number is gtater than or equal to other number
+# returns true if number is greater than or equal to other number
 ge? \le? ⧗ Generic → Generic → Boolean
 
 …≥?… ge?
@@ -47,10 +47,10 @@ compare compare-case (+0) (+1) (-1) ⧗ Generic → Generic → Generic
 # returns true if comparison result is equal (EQ)
 c-eq? eq? (+0) ⧗ Generic → Generic
 
-# returns true if comparison result is lts than (LT)
+# returns true if comparison result is less than (LT)
 c-lt? eq? (-1) ⧗ Generic → Generic
 
-# returns true if comparison result is gtater than (GT)
+# returns true if comparison result is greater than (GT)
 c-gt? eq? (+1) ⧗ Generic → Generic
 
 # returns max number of two
-- 
cgit v1.2.3