What is then name of this theme?

tag looks like from https://github.com/rougier/svg-tag-mode/tree/07640c97a1dcc305010a384fffdaa7788c342da7 not sure about the theme. looks like some variant of solarized light theme

SoBrightItHurtsMyEyes.el

most likely you are right, I searched a lot event in google images and failed to find one, probably that one is somebody's private variation of some theme which was never published.

`noise-over-zero.el`?

Let us know if you find out, it's a nice light theme!

Unsure of the theme but the funky tags and font are the weirder ligatures in PragmataPro by https://fsd.it

[deleted]

Looks like it's similar to this: [https://github.com/lumiknit/vscode-parchment-theme](https://github.com/lumiknit/vscode-parchment-theme) Fabrizio Schiavi (designer of Pragmata Pro) has a fork on his Github: [https://github.com/fabrizioschiavi/vscode-parchment-theme](https://github.com/fabrizioschiavi/vscode-parchment-theme) There is also an emacs version, which says its based on the snippet from Pragmata Pro: [https://github.com/lumiknit/emacs-parchment-theme](https://github.com/lumiknit/emacs-parchment-theme) So my best guess is the small snippet was hand designed by the designer of the font, then a user created themes based on it, which the designer of the font uses himself?

What's with all those crazy symbols? Is that some logic proof assist or something?

Those are ligatures for symbols used in Haskell.

[deleted]

I have a question for people who use ligature fonts. Do characters suddenly appear - like if you deleted the "=" from "!=" - would the underlying "!" appear? Do you have to fight trying to maintain alignment when some lines have ligatures and other don't? Like the alignment of the "|" in OP's screenshot: | c v = x v | otherwise = y v I'd like to use a font with ligatures because they honestly look beautiful, but in the days before fonts with ligatures became common - when we had unicode character replacement for string/regex - I found it quite tiresome and the editing experience quite jarring

Looks like McCarthy to me https://github.com/owainlewis/emacs-color-themes

The image is from [emacs-pragmatapro-ligatures](https://github.com/lumiknit/emacs-pragmatapro-ligatures) which is also by lumiknit, so I'd say emacs-parchment is the most likely answer.

what you’re suggesting is correct — if you have a ligature for != and delete the last character you just get ! re alignment — never really was a problem … it always just worked for me

I use ligatures font in my terminal, and yes, if you delete part of the ligature, it "disassembles" into its original components. In general I don't have any problems with width because the ligatures occupy roughly the same amount of space as its components (for example, `==` is replaced with a long equals sign, `===` is replaced with a *really* long triple equals sign, etc).

Does Emacs support them finally? A couple years ago I remember reading about ligatures support and how much of a PITA it was.

Thanks.You and u/art-solopov have re-assured me to try using some ligature font. Looks like [ligature.el supports fine-tuning](https://github.com/mickeynp/ligature.el) substitutions and modes, so best of both worlds.

How to enable ligatures in emacs?

Version 28 finally includes a necessary patch that has freed up ligatures. [ligature.el](https://github.com/mickeynp/ligature.el) seems to be the winning implementation.

That happen to be this theme (at least it looks super close): [https://github.com/lumiknit/emacs-parchment-theme](https://github.com/lumiknit/emacs-parchment-theme) And vscode version if somebody interested: [https://github.com/lumiknit/emacs-parchment-theme](https://github.com/lumiknit/emacs-parchment-theme)