8 May
2020
8 May
'20
2:33 a.m.
Am Fr., 8. Mai 2020 um 03:50 Uhr schrieb Dannyu NDos : I have following datatype for representing arbitrary computable numbers: newtype Computable = Inexact (Word -> Integer) "Inexact" encapsulates Cauchy sequences. min and max will halt: instance Ord Computable where [...] Eq is a superclass of Ord, so how do you define that for Computable?