When comparing Proggy Clean vs Hasklig, the Slant community recommends Hasklig for most people. In the question“What are the best programming fonts?” Hasklig is ranked 28th while Proggy Clean is ranked 42nd.
Specs
Ranked in these QuestionsQuestion Ranking
Pros
Pro The easiest to read
All characters are completely readable in the smallest size.
Perfectly usable in terminal and code editors in 12px text size.
Pro Hipster among hipsters
Even hipsters will marvel at this font, praising you as the new hipster lord. It is best at around 19px (tested on Mac). Overall, it has better readability than many default fonts.
Pro Great for Haskell
Pro Has a heavier appearance than Fira Code or Monoid
Pro Completely free and open source
Freely available via GitHub, therefore can be modified and improved by anyone.
Pro Has many variants such as Italic, Bold Italic, Light, Semibold, etc., etc
Cons
Con Pixelated
This is, of course, intentional; but it can be hard to look at compared to other smooth mono-space fonts.
Con Smallest font sizes hard to read
Fonts less than 11pt start to fail readability tests. 9pt specifically has an additional issue where brackets don't align.
Con Not really good in all font-sizes
Completely clean pixels, no anti-aliasing so its best viewed in (n*12) pixel size.
Bold font-weight is not really good because of small padding between them.
Con Lacks !=
Some coding fonts with ligatures, like Fira Code, turn != into ≠, but Hasklig does not. The reason for this is that Hasklig was designed for Haskell code, and so turns /= into ≠ instead.
Con Some Ligatures like -<< don't look that good.
Con Has a heavier appearance than Fira Code or Monoid
Con No support for many editors, including emacs
Unfortunately, not supporting emacs is the number one reason I don't use this font all the time.
Con Very cute but not WYSIWYG
You want to see exactly what you've typed, not have your brain have to do a little dance every time you see one of these artifacts.