hakyll-agda-0.1.13: Wrapper to integrate literate Agda files with Hakyll (Index)

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

Index

agdaPandocCompiler	Hakyll.Web.Agda
isAgda	Hakyll.Web.Agda
markdownAgda	Hakyll.Web.Agda
pandocAgdaCompiler	Hakyll.Web.Agda
pandocAgdaCompilerWith	Hakyll.Web.Agda