Fwd: Give alternate default definition for (<=)

9 May 2020


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


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