3 ms·

Would that by chance be the Pointfree font?

• marginalia_nu 2y ago
  Dunno. It's just called Comic Mono. https://dtinth.github.io/comic-mono-font/ https://dtinth.github.io/comic-mono-font/
  • tpoacher 2y ago
    You might be interested to give Comic Code [0] a try instead. Unlike Comic Mono it is a paid font, but I find it a lot nicer to use/read. [0] https://tosche.net/fonts/comic-code https://tosche.net/fonts/comic-code
    • yardshop 2y ago
      I use Comic Code in my editors and console windows and really like it a lot. Adds some practical frivolity to the process!
    • harimau777 2y ago
      I appreciate the double meaning of the name "Comic Code"! Well played! https://en.wikipedia.org/wiki/Comics_Code_Authority https://en.wikipedia.org/wiki/Comics_Code_Authority
    • strunz 2y ago
      Oof that k looks way too much like r to me EDIT: the font the website uses, not comic-code
  • sphars 2y ago
    Another alternative Comic Sans-inspired mono font is Serious Shanns (which is actually forked from Comic Mono): https://github.com/kaBeech/serious-shanns https://github.com/kaBeech/serious-shanns