Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
markdownAgda :: CommandLineOptions -> String -> SourceFile -> IO String Source #
pandocAgdaCompilerWith :: ReaderOptions -> WriterOptions -> CommandLineOptions -> Compiler (Item String) Source #
agdaPandocCompiler :: ReaderOptions -> WriterOptions -> CommandLineOptions -> Compiler (Item String) Source #