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 <merijn@inconsistent.nl> wrote:
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 _______________________________________________ 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