print package:Agda
Prints the accumulated benchmark results. Does nothing if no benchmark
profiling is enabled.
Lispify and print the given highlighting information.
Lispify and print the given highlighting information.
Print the given statistics.
Prints syntax highlighting info for an error.
Generates and prints syntax highlighting information for unsolved
meta-variables and certain unsolved constraints.
Print version information.
Print Agda version number and exit.
Options --version and --numeric-version (last wins).
Print Agda version information and exit.
Wrapper to indicate that range should be printed.
During printing, catch internal errors of kind
Impossible and
print them.