Ispired by Isaac’s post.
AgdaStdlib from nixpkg doesn’t contain a
file as we need, but we can write one manually.
Since nix links agda’s standard library to
share/agda/, which is
standard-library.agda-lib containing follows:
name: standard-library include: /home/<username>/.nix-profile/share/agda/
Save these to a proper location, for example,
then the rest will be almost same with the instruction.