
16 Aug
2020
16 Aug
'20
5:41 p.m.
Sounds like a missing font to me. It rendered sans-serif here, but I have
that set as default.
On Sun, Aug 16, 2020 at 1:39 PM Merijn Verstraaten
On 16 Aug 2020, at 16:02, Ben Gamari
wrote: Carter Schonwald
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 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-- brandon s allbery kf8nh allbery.b@gmail.com