diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-08 13:57:25 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-08 13:57:25 +0200 |
| commit | 4674bc3a6fa11339d75d55fd82b9574cee587f5d (patch) | |
| tree | 81368960d114409fc2247784b2693d100112fd0a /core/common.milch | |
| parent | 172bd50e5a585992c2eaed756999d72617c3d2fb (diff) | |
Fix core/common functions
Diffstat (limited to 'core/common.milch')
| -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) |