{ nixpkgs ? <nixpkgs> }: with (import nixpkgs {}); agdaPackages.mkDerivation { version = "1.0"; pname = "code-transformation"; src = ./.; buildInputs = [ agdaPackages.standard-library ]; }