From 5f6bdd34af62a0150480a17caf37d18265016097 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 ac2534d..a1cbdbe 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.}