{ nixpkgs, system, ... }:

let pkgs = nixpkgs.legacyPackages.${system};
in pkgs.agda.withPackages (p: [ p.standard-library ])