Agda version 2.7.0

[fredrik-bakke]

I think it's about time we consider updating the library to Agda 2.7.0. It's very unfortunate that the newest version is still not hosted with homebrew, but considering it's been over 5 months now and nothing's happening, we should consider moving away from depending on it.

[VojtechStep]

The changes themselves LGTM, though I'm not sure if we want to move forward with this right now, since Agda 2.7.0 is only available through nix/guix and cabal, according to repology

[fredrik-bakke]

Alright, everything seems to be ready then. @EgbertRijke, you can merge this PR when you've updated your installation of Agda.

[fredrik-bakke]

The changes themselves LGTM, though I'm not sure if we want to move forward with this right now, since Agda 2.7.0 is only available through nix/guix and cabal, according to repology

Oh. Why isn't the new version available on more platforms? It's not like there hasn't been enough time.

[fredrik-bakke]

And can't people always install the Agda release using cabal, nix, or from source?

[VojtechStep]

Why isn't the new version available on more platforms?

Your guess is as good as mine, but it's weird that e.g. on Arch, Agda 2.6.4 got two patch updates this month, and it's been flagged out of date since September.

And can't people always install the Agda release using cabal, nix, or from source?

They can, and apparently installing through cabal is the recommended method, which I didn't know. So I guess that's not a concern.

[fredrik-bakke]

So then you support proceeding with a merge when Egbert is ready?

[VojtechStep]

Yes

[EgbertRijke]

Thanks for the PR! I'll switch to cabal too and fetch the latest stable version.