[Agda] List of fonts required for Emacs mode?

András Kovács puttamalac at gmail.com
Wed Jul 29 11:47:07 CEST 2020


Hi,

Strictly speaking, there isn't a required font, rather, people tend to use
monospace fonts with good unicode support.
I personally use DejaVu Sans Mono. The PLFA book recommends Mononoki
<https://plfa.github.io/GettingStarted/#using-mononoki-in-emacs>.

David Banas <capn.freako at gmail.com> ezt írta (időpont: 2020. júl. 29., Sze,
1:26):

> 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
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200729/a07099c5/attachment.html>


More information about the Agda mailing list