[Agda] Best font for Windows?
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.
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...
More information about the Agda