Packages and abstractions to use Nix as a package manager for Agda - View it on GitHub