[Agda] Best font for Windows?

Jason Hu fdhzs2010 at hotmail.com
Sun Apr 3 02:02:39 CEST 2022

Fonts shouldn’t be a platform specific thing. Your character is missing because the font does not support it. To my knowledge, there isn’t that many fonts supporting the full set of Unicode characters. On my machine, I have been using FreeMono and I never got a missing character.

Jason Hu

From: David Banas<mailto:capn.freako at gmail.com>
Sent: Saturday, April 2, 2022 4:45 PM
To: agda at lists.chalmers.se<mailto:agda at lists.chalmers.se>
Subject: [Agda] Best font for Windows?

What’s the best font for EMacs Agda mode on Windows?
Both Mononoki and DeJaVu Sans Mono seem to be missing 0x2983/4.

Sent from my iPhone
Agda mailing list
Agda at lists.chalmers.se

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220403/3042e19c/attachment.html>

More information about the Agda mailing list