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
Expr
ession tree of the corresponding parser.
Zulip