Re: Make Eq type class single method
Joachim Breitner <[email protected]> Wed, 20 Oct 2021 17:26:05 +0200
| Newsgroups | gmane.comp.lang.haskell.libraries |
|---|---|
| Message-ID | <8e3464f6023f269afa1c64554750674804f9358a.camel@joachim-breitner.de> |
Hi, Am Mittwoch, dem 20.10.2021 um 16:05 +0100 schrieb Jens Blanck: > Sometimes, /= is semidecidable and == only cosemidecidable. E.g. > Exact Real Arithmetic. does that reasoning apply here? (/=) still returns True or False, so they are still both deciding the same question. Cheers, Joachim -- Joachim Breitner [email protected] http://www.joachim-breitner.de/ _______________________________________________ Libraries mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries