[Agda] Best font for Windows?

David Banas capn.freako at gmail.com
Sat Apr 2 22:45:32 CEST 2022

Previous message (by thread): [Agda] [ANNOUNCE] Agda 2.6.2.2
Next message (by thread): [Agda] Best font for Windows?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [Agda] [ANNOUNCE] Agda 2.6.2.2
Next message (by thread): [Agda] Best font for Windows?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list