8 May
2020
8 May
'20
6:33 a.m.
Am Fr., 8. Mai 2020 um 03:50 Uhr schrieb Dannyu NDos <ndospark320@gmail.com
:
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?