blagda-0.1.0.1: Shake frontend for Agda blogging
Safe HaskellNone
LanguageHaskell2010

Blagda

Synopsis

Documentation

loadMarkdown :: (Meta -> a) -> String -> FilePath -> Action (Post Pandoc a) Source #

The return type here is whether or not this markdown file is a BLOG POST. Even if it isn't, the file still gets generated.