From 4674bc3a6fa11339d75d55fd82b9574cee587f5d Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Thu, 8 Dec 2022 13:57:25 +0200 Subject: Fix core/common functions --- core/common.milch | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/common.milch b/core/common.milch index 9d9c489..25bf95a 100644 --- a/core/common.milch +++ b/core/common.milch @@ -55,12 +55,12 @@ (let odd? (. not even?)) (let leq? (\[a b] - (or? + (or (eq? a b) (lt? a b)))) -(let rt? (. not leq?)) -(let req? (. not lt?)) +(let gt? (\[a] (. not (leq? a)))) +(let geq? (\[a] (. not (lt? a)))) (let max (\[a b] (match (lt? a b) -- cgit v1.3