[Agda] Type-checker evaluator performance

[Nils Anders Danielsson]

On 2016-02-03 20:10, Sergei Meshveliani wrote:
> Can you tell, please: how to turn on interactive highlighting?

Open an Agda file. Type "M-x cutomize-group RET agda2-highlight RET". Go
to the "Value Menu" for "Agda2 Highlight Level". Select "Interactive".
Go to "State". Select "Set for Current Session" or "Save for Future
Sessions".

-- 
/NAD