Rename and deprecate `excluded-middle`#2026

Merged

MatthewDaggitt merged 5 commits intoagda:masterfrom

Saransh-cpp:excluded-middle

Jul 29, 2023

Commits on Jul 20, 2023

Commits on Jul 21, 2023

Oops, fix import
Saransh-cpp
committed

Commits on Jul 28, 2023

Merge branch 'agda:master' into excluded-middle
Saransh-cpp
authored