Nix Agda version

[fredrik-bakke]

Turns out there is a way to avoid depending on the nix package server for Agda versions, as one user figured out on Zulip

• #general > ✔ 2.8 on Nix