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

Generalize captures?

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

Captures are only allowed on atoms. In other words:

A disjunction is not allowed under a capture: x = (X | Y) but the following is allowed: (x = X | x = Y)

Is this worth generalizing?

let-def avatar Mar 31 '25 02:03 let-def