News for hackers. Stuff that matters.

A comment on Programming with Categories. Parent comment

Re:Programming with Categories by enriquto on Wednesday September 02, 2020 @12:33PM (#24354885)
> What is the beautiful monospace font in the pdf

t1xtt, from the txfonts package, freely available

[ Parent | on HN ]
Re:Programming with Categories by yearoflinux on Wednesday September 02, 2020 @12:49PM (#24355086)
Thank you! No ttf/otf though :)
[ Parent | on HN ]
Re:Programming with Categories by vertebrate on Thursday September 03, 2020 @05:30PM (#24369104)
It looks like a fork of Luxi Mono with slashed zero, which is available in ttf. And there is a more modern version of it with better character coverage -- Go Mono.
[ Parent | on HN ]