git.iko.soy/Idris-dev
on master help sign in
Eq Nat fix
b04ea13Edwin Brady
lib/prelude/nat.idr+1−1
compare with master
unifiedsplit
@@ -49,7 +49,7 @@ power base (S exp) = mult base $ power base exp
49--------------------------------------------------------------------------------
49--------------------------------------------------------------------------------
50
50
51instance Eq Nat where
51instance Eq Nat where
52− Z == Z = True
52+ O == O = True
53 (S l) == (S r) = l == r
53 (S l) == (S r) = l == r
54 _ == _ = False
54 _ == _ = False
55
55