Index
markdownAgda | Hakyll.Web.Agda |
pandocAgdaCompiler | Hakyll.Web.Agda |
pandocAgdaCompilerWith | Hakyll.Web.Agda |
hakyll-agda-0.1.7: Wrapper to integrate literate Agda files with Hakyll
Index
markdownAgda | Hakyll.Web.Agda |
pandocAgdaCompiler | Hakyll.Web.Agda |
pandocAgdaCompilerWith | Hakyll.Web.Agda |