intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Implement `Ctrl+Shift+P` for patterns

Open sxhya opened this issue 1 year ago • 1 comments

This feature should support the following cases: Patterns in elimination blocks, case expressions, let expressions and lambda expressions.

sxhya avatar Jul 20 '23 16:07 sxhya

Please consider implementing this feature via tracer, not via corresponded subexpr. Tracer provides much better results.

knisht avatar Jul 24 '23 21:07 knisht