[Agda] Why are some terms in the Agda goal report colored blue?

[Nils Anders Danielsson]

On 2021-01-13 17:41, David Banas wrote:
> Sorry, can you elaborate?

I don't know too much about Compilation mode, but it is documented:

   https://www.gnu.org/software/emacs/manual/html_node/emacs/Compilation-Mode.html

-- 
/NAD