Safe Haskell | None |
---|
Hakyll.Web.Agda
Documentation
markdownAgda :: CommandLineOptions -> String -> FilePath -> IO StringSource
hakyll-agda-0.1.3: Wrapper to integrate literate Agda files with Hakyll
Safe Haskell | None |
---|
Hakyll.Web.Agda
markdownAgda :: CommandLineOptions -> String -> FilePath -> IO StringSource