Fixities for `Data` and `Codata`#1989

Merged

MatthewDaggitt merged 2 commits intoagda:masterfrom

Saransh-cpp:fixity-take-3

Jun 20, 2023

Commits on Jun 15, 2023

More fixities for `Data` and `Codata`
Saransh-cpp
committed

Commits on Jun 19, 2023

Resolve conflicts
Saransh-cpp
committed