From ef3b3b00aac253644999d46c0e06bbd4748ccabc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marko=20Dimja=C5=A1evi=C4=87?= <marko@dimjasevic.net>
Date: Fri, 25 Sep 2020 12:18:56 +0200
Subject: [PATCH] Adds a missing closing parenthesis

---
 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 ac9eacc4..1161250e 100644
--- a/src/plfa/part2/DeBruijn.lagda.md
+++ b/src/plfa/part2/DeBruijn.lagda.md
@@ -454,7 +454,7 @@ We can then introduce a convenient abbreviation for variables:
 The type of function `#_` asks for clarification. The function takes
 an implicit argument `n<?length` that signals if there is evidence for
 `n` to be within the context's bounds. Both `True` and `_≤?_` are
-defined in Chapter [Decidable]({{ site.baseurl }}/Decidable/. The type
+defined in Chapter [Decidable]({{ site.baseurl }}/Decidable/). The type
 of `n<?length` guards against invoking `#_` on an `n` that is out of
 context bounds. Finally, in the return type `n<?length` is converted
 to a witness that `n` is within the bounds.