Skip to content

Renaming of indirect references (RecordFieldPuns)#3013

Merged
mergify[bot] merged 15 commits intohaskell:masterfrom
OliverMadine:rename-all-at-pos
Jul 7, 2022
Merged

Renaming of indirect references (RecordFieldPuns)#3013
mergify[bot] merged 15 commits intohaskell:masterfrom
OliverMadine:rename-all-at-pos

Commits

Commits on Jul 3, 2022

Commits on Jul 4, 2022

Commits on Jul 7, 2022