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

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

Index

markdownAgda	Hakyll.Web.Agda
pandocAgdaCompiler	Hakyll.Web.Agda
pandocAgdaCompilerWith	Hakyll.Web.Agda