agda-stdlib icon indicating copy to clipboard operation
agda-stdlib copied to clipboard

Published 20 hours ago • verified publisher icon agda

three way comparison of natural number?

Open HuStmpHrrr opened this issue 5 years ago • 2 comments
trafficstars

I just realize the library does not have comparison returning <, =, or >. is it actually the case or I just over looked?

HuStmpHrrr avatar Sep 04 '20 20:09 HuStmpHrrr

oops, I found it

HuStmpHrrr avatar Sep 04 '20 21:09 HuStmpHrrr

Should Data.Nat export <-cmp like it does so many other comparison operators?

gallais avatar Sep 04 '20 21:09 gallais