Commit 2025-01-09 15:44 51770084

View on Github →

feat: the #find_syntax command (#17986) The #find_syntax command takes as input a string str and retrieves from the environment all the candidates for syntax terms that contain the string str. It also makes a very crude effort at regenerating what the syntax looks like, by inspecting the Expression tree of the corresponding parser. Zulip

Estimated changes