Agda.Syntax.Parser.Literate
literateProcessors
literateExts
literateExtsShortList
literateSrcFile
literateTeX
literateRsT
illiterate
isCode
type Processor
data Layer
data LayerType