agda-stdlib
agda-stdlib copied to clipboard
three way comparison of natural number?
I just realize the library does not have comparison returning <
, =
, or >
. is it actually the case or I just over looked?
oops, I found it
Should Data.Nat
export <-cmp
like it does so many other comparison operators?