From 1174f18ff717a8729f056266b7680f9a851b85ce Mon Sep 17 00:00:00 2001
From: Harrison Grodin <harrison.grodin@gmail.com>
Date: Fri, 25 Dec 2020 21:21:12 -0500
Subject: [PATCH] Fix typo

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

diff --git a/src/plfa/part2/DeBruijn.lagda.md b/src/plfa/part2/DeBruijn.lagda.md
index eb07df41..9fe5421a 100644
--- a/src/plfa/part2/DeBruijn.lagda.md
+++ b/src/plfa/part2/DeBruijn.lagda.md
@@ -1374,7 +1374,7 @@ number of lines of code is as follows:
 
 The relation between the two approaches approximates the
 golden ratio: extrinsically-typed terms
-require about 1.6 times as much code as intrinsicaly-typed.
+require about 1.6 times as much code as intrinsically-typed.
 
 ## Unicode