blagda-0.1.0.1: Shake frontend for Agda blogging

Index

addIfNotPresentBlagda.References
addLinkTypeBlagda.Markdown
agdaHTMLBlagda
buildDiagramsBlagda.Diagrams
buildLatexEqnBlagda.Latex
builtinModulesBlagda.Agda
defaultWriterOptionsBlagda.Markdown
emplaceBlagda.Markdown
fakePathBlagda.Agda
getBuildPathBlagda.Utils
hideStepsBlagda.Equations
htmlInlBlagda.Markdown
killDomainNamesBlagda.Agda
killQualBlagda.Agda
LatexEquation 
1 (Type/Class)Blagda.Latex
2 (Data Constructor)Blagda.Latex
linkBlagda.References
linkDocumentBlagda.References
loadMarkdownBlagda.Markdown, Blagda
makePiBlagda.Agda
moduleNameBlagda.Agda
mStrBlagda.Markdown
onHeadBlagda.Rename
parseAgdaLinkBlagda.Markdown
parseFileIdentsBlagda.Markdown
parseFileTypesBlagda
parseMetaStringBlagda
parseSymbolRefsBlagda.References
patchBlockBlagda.Markdown
patchInlineBlagda.Markdown
patchInlinesBlagda.Markdown
patchMetaBlagda.Markdown
Post 
1 (Type/Class)Blagda.Types, Blagda
2 (Data Constructor)Blagda.Types, Blagda
p_contentsBlagda.Types, Blagda
p_metaBlagda.Types, Blagda
p_pathBlagda.Types, Blagda
refClassBlagda.References
refClassesBlagda.Markdown
Reference 
1 (Type/Class)Blagda.References
2 (Data Constructor)Blagda.References
3 (Type/Class)Blagda.Markdown
4 (Data Constructor)Blagda.Markdown
refHref 
1 (Function)Blagda.References
2 (Function)Blagda.Markdown
removeImplsBlagda.Agda
renameBlagda.Rename, Blagda
renderHTML5Blagda.Markdown
renderPostBlagda.Markdown
renderReferenceBlagda.References
replaceAttrBlagda.Rename
replaceBlockBlagda.Rename
replaceHtmlBlagda.Rename
replaceInlineBlagda.Rename
runAgdaBlagda.Agda
setupTCMBlagda.Agda
StrsBlagda.Utils
tcAndLoadPublicNamesBlagda.Agda
writeTemplateBlagda.Template, Blagda