Fwd: Give alternate default definition for (<=)

8 May 2020


      ---------- Forwarded message ---------
보낸사람: Dannyu NDos 
Date: 2020년 5월 8일 (금) 16:35
Subject: Re: Give alternate default definition for (<=)
To: Sven Panne 


2020년 5월 8일 (금) 15:33, Sven Panne 님이 작성:
...
Eq is a superclass of Ord, so how do you define that for Computable?
instance Eq Computable where
    x == y = x <= y && y <= x
...