@@ -181,15 +181,6 @@ instance DecEq Integer where
181181 primitiveEq = believe_me (Refl {x})
182182 postulate primitiveNotEq : x = y -> Void
183183
184−--------------------------------------------------------------------------------
185−-- Float
186−--------------------------------------------------------------------------------
187−
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
193184
194185--------------------------------------------------------------------------------
195186-- String