leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard
verified publisher icon leanprover-community

extra `calc` style

Open YaelDillies opened this issue 11 months ago • 2 comments

I find this style pretty convenient, as it has vertical alignment AND ease of editing.

YaelDillies avatar Jan 03 '25 16:01 YaelDillies

You insert an extra underscore there? I didn't know that. Did you discuss on Zulip to add this to the style? Seems reasonable to me, but it is also pretty confusing (it seems like you're applying reverse (reverse (a :: l)) to _)

fpvandoorn avatar Jan 27 '25 11:01 fpvandoorn

It was discussed on Zulip here.

it seems like you're applying reverse (reverse (a :: l)) to _

If you indent the LHS more, I doubt this confusion can really arise.

YaelDillies avatar Feb 03 '25 07:02 YaelDillies