From e33b5fc9521a2425d34480fc81c02db56fc3d2fc Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Sat, 24 Oct 2020 17:22:41 +0200 Subject: [PATCH] Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda. --- README.md | 3 ++- hs/Hakyll/Web/Agda.hs | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 640a7dcf..3e50a254 100644 --- a/README.md +++ b/README.md @@ -260,7 +260,7 @@ You'll see the key sequence of the character in mini buffer. ## Dependencies for developers -PLFA is written in literate Agda with [CommonMark][commonmark]. +PLFA is written in literate Agda with [Pandoc Markdown][pandoc-markdown]. PLFA is available as both a website and an EPUB e-book, both of which can be built on UNIX and macOS. Finally, to help developers avoid common mistakes, we provide a set of Git hooks. @@ -347,6 +347,7 @@ If you want Stack to use your system installation of GHC, follow the instruction [ruby-html-proofer]: https://github.com/gjtorikian/html-proofer [hakyll]: https://jaspervdj.be/hakyll/ [pandoc]: https://pandoc.org/installing.html +[pandoc-markdown]: https://pandoc.org/MANUAL.html#pandocs-markdown [commonmark]: https://commonmark.org/ [epubcheck]: https://github.com/w3c/epubcheck [xcode]: https://developer.apple.com/xcode/ diff --git a/hs/Hakyll/Web/Agda.hs b/hs/Hakyll/Web/Agda.hs index 1b2e00fe..a2f44807 100644 --- a/hs/Hakyll/Web/Agda.hs +++ b/hs/Hakyll/Web/Agda.hs @@ -50,7 +50,7 @@ defaultAgdaPragmaOptions = defaultPragmaOptions -- |Compile literate Agda to HTML agdaCompilerWith :: CommandLineOptions -> Compiler (Item String) -agdaCompilerWith agdaOptions = cached "Hakyll.Web.Agda.agdaCompilerWith" do +agdaCompilerWith agdaOptions = cached "Hakyll.Web.Agda.agdaCompilerWith" $ do item <- getResourceBody let agdaPath = toFilePath (itemIdentifier item) let moduleName = agdaModule (itemBody item)