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

[Nils Anders Danielsson]

On 2020-12-31 23:40, David Banas wrote:
> What's the significance of some of the terms in the Agda goal report
> (in response to: `C-c C-,` in Emacs) being colored blue?

That buffer uses compilation-mode.

-- 
/NAD