We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 39aec1d commit 3190bc2Copy full SHA for 3190bc2
src/Preface.lidr
@@ -376,7 +376,7 @@ search engines.
376
377
\todo[inline]{See
378
\href{https://github.com/idris-hackers/software-foundations/issues/25}{\#25} and
379
-\href{ https://github.com/idris-hackers/software-foundations/issues/30}{\#30}}
+\href{https://github.com/idris-hackers/software-foundations/issues/30}{\#30}}
380
381
\todo[inline]{Generate a "release" after the Rel chapter and update this
382
subsection accordingly.}
0 commit comments