Remove misplaced instance
commite81be38b69bfd87393682d4696e8785eaa20ac09
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 22 Feb 2013, 18:21 (14 years ago)
parentb92b12e
lib/Decidable/Equality.idr−3
@@ -21,9 +21,6 @@ class DecEq t where
2121--- Unit
2222--------------------------------------------------------------------------------
2323
24−instance Eq () where
25− () == () = True
26−
2724instance DecEq () where
2825 decEq () () = Yes refl
2926