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

[David Banas]

Sorry, can you elaborate?

> On Jan 13, 2021, at 1:14 AM, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> 
> 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