Topic: try this for emacs
Simon Hudon (Jul 09 2020 at 15:00):
I believe some work was done to get VS code to read advice written as "try this" and apply it. Was it ever implemented in emacs?
Patrick Massot (Jul 09 2020 at 15:14):
As far as I know, nobody is actively working on the emacs Lean mode.
Simon Hudon (Jul 09 2020 at 15:16):
Any idea how the VS code implementation works?
Last updated: Aug 03 2023 at 10:10 UTC