michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda.

Browse source
This commit is contained in:
Wen Kokke 2020-10-24 17:22:41 +02:00
parent 66ae436dc1
commit e33b5fc952
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -260,7 +260,7 @@ You'll see the key sequence of the character in mini buffer.
## Dependencies for developers ## 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. 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. 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 [ruby-html-proofer]: https://github.com/gjtorikian/html-proofer
[hakyll]: https://jaspervdj.be/hakyll/ [hakyll]: https://jaspervdj.be/hakyll/
[pandoc]: https://pandoc.org/installing.html [pandoc]: https://pandoc.org/installing.html
[pandoc-markdown]: https://pandoc.org/MANUAL.html#pandocs-markdown
[commonmark]: https://commonmark.org/ [commonmark]: https://commonmark.org/
[epubcheck]: https://github.com/w3c/epubcheck [epubcheck]: https://github.com/w3c/epubcheck
[xcode]: https://developer.apple.com/xcode/ [xcode]: https://developer.apple.com/xcode/

2
hs/Hakyll/Web/Agda.hs
View file

@ -50,7 +50,7 @@ defaultAgdaPragmaOptions = defaultPragmaOptions
-- |Compile literate Agda to HTML -- |Compile literate Agda to HTML
agdaCompilerWith :: CommandLineOptions -> Compiler (Item String) agdaCompilerWith :: CommandLineOptions -> Compiler (Item String)
agdaCompilerWith agdaOptions = cached "Hakyll.Web.Agda.agdaCompilerWith" do agdaCompilerWith agdaOptions = cached "Hakyll.Web.Agda.agdaCompilerWith" $ do
item <- getResourceBody item <- getResourceBody
let agdaPath = toFilePath (itemIdentifier item) let agdaPath = toFilePath (itemIdentifier item)
let moduleName = agdaModule (itemBody item) let moduleName = agdaModule (itemBody item)