From 030171565c801c0732497f9eb86fb74b0e264119 Mon Sep 17 00:00:00 2001
From: Spencer Whitt <me@swhitt.me>
Date: Wed, 5 Sep 2018 10:32:56 -0400
Subject: [PATCH] Fix typo irrerflexive -> irreflexive

---
 src/plfa/Negation.lagda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plfa/Negation.lagda b/src/plfa/Negation.lagda
index cf12c18b..0501846c 100644
--- a/src/plfa/Negation.lagda
+++ b/src/plfa/Negation.lagda
@@ -158,7 +158,7 @@ the other.
 
 
 
-#### Exercise `<-irrerflexive`
+#### Exercise `<-irreflexive`
 
 Using negation, show that
 [strict inequality]({{ site.baseurl }}{% link out/plfa/Relations.md %}/#strict-inequality)