fanninpm

For those who are looking for an open-source alternative to Zed, [Lapce](https://github.com/lapce/lapce) may be worth taking a look at.

@seryoungshim17 Are you still interested in pursuing this?

See also #244

> Is there a workaround to get my package running? Try writing a wrapper script using the [`runpy` library](https://docs.python.org/3/library/runpy.html#runpy.run_module). If that doesn't work, perhaps @emeryberger could help. (By the way,...

> And looks like it's entirely gone now, says the feature doesn't exist and the `wrapping_offset_from` call no longer exists in the source. It was removed [in August](https://github.com/rust-lang/rust/commit/7ad4369).

I checked the [IRMA webpage](https://wonder.cdc.gov/amd/flu/irma/irma.html) today, and I saw that v1.0.3 was recently released with the fix for SARS-CoV-2.

https://github.com/leanprover-community/mathlib/pull/15994 has been merged, so this can go ahead.

This is one aspect in which [black](https://black.readthedocs.io/en/stable/the_black_code_style.html#strings) is superior to yapf. From the relevant portion of the docs: > _Black_ prefers double quotes (`"` and `"""`) over single quotes (`'`...

> Yapf has a philosophy of not changing the source at all > [YAPF] takes the code and reformats it to the best formatting that conforms to the style guide,...

https://blog.rust-lang.org/2023/03/09/Rust-1.68.0.html#local-pin-construction