Agda.Syntax.Parser.Lexer
The main function
lexer
Lex states
normal
literate
code
layout
empty_layout
bol
imp_dir
Alex generated functions
data
AlexReturn
a
alexScanUser