Agda.Syntax.Parser.LexActions

Main function

Lex actions

General actions

Specialized actions

Lex predicates