@@ -181,15 +181,6 @@ instance DecEq Integer where
181 primitiveEq = believe_me (Refl {x})
181 primitiveEq = believe_me (Refl {x})
182 postulate primitiveNotEq : x = y -> Void
182 postulate primitiveNotEq : x = y -> Void
184−--------------------------------------------------------------------------------
186−--------------------------------------------------------------------------------
188−instance DecEq Float where
189− decEq x y = if x == y then Yes primitiveEq else No primitiveNotEq
190− where primitiveEq : x = y
191− primitiveEq = believe_me (Refl {x})
192− postulate primitiveNotEq : x = y -> Void
194--------------------------------------------------------------------------------
185--------------------------------------------------------------------------------