Test section
Note
The files listed at Test and Test2 are from examples/syntax/highlighting in the Agda repository.
The pragmas for the old bindings for the built-in NIL and _::_
have been commented-out, to avoid warnings when loading them.
Note
The files listed at Test and Test2 are from examples/syntax/highlighting in the Agda repository.
The pragmas for the old bindings for the built-in NIL and _::_
have been commented-out, to avoid warnings when loading them.