git.iko.soy/Idris-dev
on master help sign in
Remove misplaced instance
e81be38David Christiansen
lib/Decidable/Equality.idr−3
compare with master
unifiedsplit
@@ -21,9 +21,6 @@ class DecEq t where
21--- Unit
21--- Unit
22--------------------------------------------------------------------------------
22--------------------------------------------------------------------------------
23
23
24−instance Eq () where
25− () == () = True
26−
27instance DecEq () where
24instance DecEq () where
28 decEq () () = Yes refl
25 decEq () () = Yes refl
29
26