lrgrep icon indicating copy to clipboard operation
lrgrep copied to clipboard
verified publisher icon let-def

Feature request: capturing positions inside reductions

Open let-def opened this issue 9 months ago • 0 comments

(by @fpottier)

In theory it is possible to compute the positions of symbols captured inside reductions. But this would be a significant change with the current design.

let-def avatar Mar 24 '25 11:03 let-def