[Agda] Getting started: couple more questions

Nils Anders Danielsson nad at cse.gu.se
Tue Feb 11 15:06:51 CET 2020


On 2020-02-10 23:14, Vox Veritatis wrote:
> 1) When pressing C-c-x-c, Emacs asks for "Backend". Are there several
>    options to this?

Yes, use the tab key to see all the options.

-- 
/NAD


More information about the Agda mailing list