Skip to content
Snippets Groups Projects
Commit 0d429b6c authored by Vladislav Zavialov's avatar Vladislav Zavialov
Browse files

WIP: Introduce RnMatchCtxt

parent 526cdc65
No related branches found
No related tags found
2 merge requests!11185Split \case and \cases data constructors (#23916),!11154Draft: Parameterize Match over Pat (#23893)
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment