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

Nils Anders Danielsson nad at cse.gu.se
Wed Jan 13 10:14:25 CET 2021


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


More information about the Agda mailing list