Kenny Lau (Jul 28 2018 at 15:51):
I think we should have a typeclass
Kenny Lau (Jul 28 2018 at 15:52):
e.g. the real numbers have computable min although not having discrete linear order
Chris Hughes (Jul 28 2018 at 17:00):
What's the use of computable min on reals, when you can't really do anything with a computable real?
Last updated: May 06 2021 at 21:09 UTC