Allow renames of givens generated by derives clauses - 'as' in derives#1
Open
arainko wants to merge 3 commits into
Open
Allow renames of givens generated by derives clauses - 'as' in derives#1arainko wants to merge 3 commits into
derives clauses - 'as' in derives#1arainko wants to merge 3 commits into
Commits
Commits on Nov 10, 2024
- committed
- committed
Commits on Nov 20, 2024
- committed