From 12af0730ebdd9c8d547e94fdca878563034f44e2 Mon Sep 17 00:00:00 2001
From: rnhmjoj <micheleguerinirocco@me.com>
Date: Mon, 28 Nov 2016 21:14:43 +0100
Subject: [PATCH] remove Nat-specific equality

---
 src/Data/Nat.hs | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/Data/Nat.hs b/src/Data/Nat.hs
index 95aef0d..e2023a5 100644
--- a/src/Data/Nat.hs
+++ b/src/Data/Nat.hs
@@ -119,13 +119,6 @@ fromInteger n
   | n T.>  0 = S (fromInteger (T.pred n)) 
 
 
--- | Equality for natural numbers
-(≡) ∷ ℕ → ℕ → 𝔹 
-Z     ≡ Z     = T
-(S n) ≡ (S m) = n ≡ m
-_     ≡ _     = F
-
-
 -- | Infinity
 (∞) ∷ ℕ
 (∞) = S (∞)