4 lines
126 B
Nix
4 lines
126 B
Nix
{ nixpkgs, system, ... }:
|
|
|
|
let pkgs = nixpkgs.legacyPackages.${system};
|
|
in pkgs.agda.withPackages (p: [ p.standard-library ])
|