Install Agda's standard library

Help
1

Hi,
I wonder how to install the standard library of Agda on Nixos.
I tried to replace agda with agda.withPackages [ agdaPackages.standard-library ] in my /etc/nixos/configuration.nix, but it does not work :

error: A definition for option `environment.systemPackages."[definition 1-entry 73]"' is not of type `package'.

Thanks for your help!

2

You did add it like that to environment.systemPackages like that or did you use parenthesis?

Without the parenthesis, nix sees the entry agda.withPackages (which is a function) and [ agdaPackages.standard-library ] which is a list.

1 Like
3

It works with parentheses.
Thank you @Nobbz.