Eq Double removal

agda · Feb 27, 2024 · c4b26e2 · c4b26e2
1 parent 3ab718a
commit c4b26e2
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/lib/Haskell/Law/Eq/Def.agda b/lib/Haskell/Law/Eq/Def.agda
@@ -66,5 +66,3 @@ eqNegation : ⦃ iEq : Eq e ⦄ → ⦃ IsLawfulEq e ⦄
            → ∀ { x y : e } → (x /= y) ≡ not (x == y)
 eqNegation = refl
 
-postulate instance
-  iLawfulEqDouble : IsLawfulEq Double