<div dir="ltr"><div><div><div><div><div>Hi all,<br><br><br></div>When I compile an agda file, I get the emacs error:<br>"wrong type argument sequencep, ask".<br><br></div>I googled it and it is quite a common error and I know at least one other agda user who has the same problem.<br><br></div>Does anyone know a fix?<br><br></div>Thanks and best regards,<br></div>Stephan<br></div>