Open tomByrer opened 8 years ago
Seems this repo is commonly linked to for PL fonts, though there are several fonts that don't need patching but are not listed anywhere: http://larsenwork.com/monoid/ https://github.com/i-tu/Hasklig https://github.com/tonsky/FiraCode https://github.com/chrissimpkins/Hack etc
Should I do a PR for the README here, your docs, or create a different repo?
I think adding links to these fonts to the main README is a good idea, I'd be happy to merge a PR for that.
Seems this repo is commonly linked to for PL fonts, though there are several fonts that don't need patching but are not listed anywhere: http://larsenwork.com/monoid/ https://github.com/i-tu/Hasklig https://github.com/tonsky/FiraCode https://github.com/chrissimpkins/Hack etc
Should I do a PR for the README here, your docs, or create a different repo?