Make Eq type class single method

[Joachim Breitner]

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
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/