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

[David Banas]

Hi all,

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?

Thanks,
-db
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20201231/bfe9cdc5/attachment.html>