<div dir="ltr">Hi all,<br><div><br></div><div>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?</div><div><br></div><div>Thanks,</div><div>-db</div><div><br></div></div>