Agda.Syntax.Parser.Literate

literateProcessors

literateExts

literateExtsShortList

literateSrcFile

literateTeX

literateRsT

illiterate

isCode

type Processor

data Layer

data LayerType