From d3c756aa5589f91b87d5c20b6fbdff637070c98d Mon Sep 17 00:00:00 2001 From: Eric Bailey Date: Wed, 2 Aug 2017 22:59:23 -0500 Subject: [PATCH] Preface: fix minor typo --- src/Preface.lidr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Preface.lidr b/src/Preface.lidr index cecf100..dc36a2b 100644 --- a/src/Preface.lidr +++ b/src/Preface.lidr @@ -376,7 +376,7 @@ search engines. \todo[inline]{See \href{https://github.com/idris-hackers/software-foundations/issues/25}{\#25} and -\href{ https://github.com/idris-hackers/software-foundations/issues/30}{\#30}} +\href{https://github.com/idris-hackers/software-foundations/issues/30}{\#30}} \todo[inline]{Generate a "release" after the Rel chapter and update this subsection accordingly.}