LLMs such as GPT4 might be useful in that regard.
Moreover, why don’t software engineering researchers focus on making tools that are sophisticated enough to shed light on the inner workings of TeXmacs?
LLMs such as GPT4 might be useful in that regard.
Moreover, why don’t software engineering researchers focus on making tools that are sophisticated enough to shed light on the inner workings of TeXmacs?