hakyll-agda-0.1.13: Wrapper to integrate literate Agda files with Hakyll
Safe HaskellNone
LanguageHaskell2010

Hakyll.Web.Agda

Documentation

markdownAgda :: CommandLineOptions -> String -> SourceFile -> IO String Source #

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

pandocAgdaCompiler :: Compiler (Item String) Source #

isAgda :: Item a -> Bool Source #

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