16 Aug
2020
16 Aug
'20
5:39 p.m.
On 16 Aug 2020, at 16:02, Ben Gamari <ben@well-typed.com> wrote:
Carter Schonwald <carter.schonwald@gmail.com> writes:
I def like the serif / times new Roman version
I'm not aware of a serif version and in general I would be hesitant to introduce one given that:
The one you send out renders using a serif font for GHC on my system (and, presumably, Carter's). Cheers, Merijn