Agda.Syntax.Parser.Literate
literateProcessors
literateExts
literateExtsShortList
literateSrcFile
literateTeX
literateRsT
literateMd
illiterate
atomizeLayers
type Processor
type Layers
data Layer
data LayerRole
isCode
isCodeLayer