hakyll-agda-0.1.5: Wrapper to integrate literate Agda files with Hakyll

Safe HaskellNone

Hakyll.Web.Agda

Documentation

markdownAgda :: CommandLineOptions -> String -> FilePath -> IO StringSource

pandocAgdaCompilerWith :: ReaderOptions -> WriterOptions -> CommandLineOptions -> Compiler (Item String)Source

pandocAgdaCompiler :: Compiler (Item String)Source