Nikita Prokopov

icon indicating a website link http://tonsky.me/ icon indicating an email [email protected]

icon location Berlin, Germany

Results 815 comments of Nikita Prokopov

Ligature for 8<

Hm. I’ll think about it

v2 heights were much better in a terminal with background colors

I plan to revisit that in v7 and see what can be done. I agree it’s unbalanced

Ligature priority in `->->`

Thanks! I’ll take a look

There appear to be some display errors with 'ss09'.

It’s a bug. cv30 is interfering

Ligatures involving double colon ("::") and an angle bracket are misaligned

Thanks!

Ligature request: {{

Probably not. It’s hard to improve the look of `{{` and I don’t want to change the appearance to something unrecognizable

'www' looks weird

> Can I just disable www and keep others enabled? Not yet

Glyph request: ∘ (U+2218)

Is this enough for agda or does it require a lot of other symbols too?

Glyph request: ∘ (U+2218)

Ok thanks! Let’s start small

feature request: option to disable ligatures in the build process

Yep