[Agda] Fix emacs compile hook after updating to new agda version
stvienna wiener
stvienna at gmail.com
Wed Mar 22 00:07:34 CET 2017
Hi all,
When I compile an agda file, I get the emacs error:
"wrong type argument sequencep, ask".
I googled it and it is quite a common error and I know at least one other
agda user who has the same problem.
Does anyone know a fix?
Thanks and best regards,
Stephan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170322/2350f94d/attachment.html>
More information about the Agda
mailing list