Skip to content

overloaded record dot plugin intial version (closes #3350)#3560

Merged
joyfulmantis merged 22 commits intohaskell:masterfrom
joyfulmantis:overloaded-record-dot
May 26, 2023
Merged

overloaded record dot plugin intial version (closes #3350)#3560
joyfulmantis merged 22 commits intohaskell:masterfrom
joyfulmantis:overloaded-record-dot

Commits

Commits on Apr 14, 2023

Commits on Apr 16, 2023

Commits on Apr 18, 2023

Commits on Apr 21, 2023

Commits on May 2, 2023

Commits on May 3, 2023

Commits on May 9, 2023

Commits on May 16, 2023

Commits on May 19, 2023

Commits on May 22, 2023

Commits on May 25, 2023