Skip to content

A plugin for GADT syntax converter#2899

Merged
July541 merged 21 commits intohaskell:masterfrom
July541:gadt
May 26, 2022
Merged

A plugin for GADT syntax converter#2899
July541 merged 21 commits intohaskell:masterfrom
July541:gadt

Commits

Commits on May 9, 2022

Commits on May 10, 2022

Commits on May 11, 2022

Commits on May 12, 2022

Commits on May 14, 2022

Commits on May 25, 2022

Commits on May 26, 2022