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

Safe HaskellNone
LanguageHaskell98

Hakyll.Web.Agda

Documentation

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

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

pandocAgdaCompiler :: Compiler (Item String) Source