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