diff options
| -rw-r--r-- | core/common.milch | 6 |
1 files 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) |