Agda.Syntax.Parser.Literate

literateProcessors

literateExts

literateExtsShortList

literateSrcFile

literateTeX

literateRsT

literateMd

illiterate

atomizeLayers

type Processor

type Layers

data Layer

data LayerRole

isCode

isCodeLayer