per
v5.3.21
Search documentation of per
Default
Default
In-browser search
Settings
Per.
Parser.
Agda
(per v5.3.21)
Copy Markdown
Summary
Functions
parse(tokens)
parse_declaration(tokens)
parse_expression(tokens)
Functions
parse(tokens)
parse_declaration(tokens)
parse_expression(tokens)