per
v5.3.21
Search documentation of per
Default
Default
In-browser search
Settings
Per.
Lexer.
Agda
(per v5.3.21)
Copy Markdown
Lexer for Agda syntax.
Summary
Functions
lex(input)
Functions
lex(input)