[Agda] List of fonts required for Emacs mode?

David Banas capn.freako at gmail.com
Wed Jul 29 01:26:20 CEST 2020


Hi,

Would someone be so kind as to post the list of required fonts for the Agda
Emacs mode?
I can't seem to find them in the documentation.

Thanks,
-db
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200728/7a18003e/attachment.html>


More information about the Agda mailing list