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>