hakyll-agda-0.1.4: Wrapper to integrate literate Agda files with Hakyll
Hakyll.Web.Agda
markdownAgda :: CommandLineOptions -> String -> FilePath -> IO StringSource
pandocAgdaCompilerWith :: ReaderOptions -> WriterOptions -> CommandLineOptions -> Compiler (Item String)Source
pandocAgdaCompiler :: Compiler (Item String)Source