anchor.diff:      , ...
       }: let
         agdaWithArgs = withPackages (builtins.filter (p: p ? isAgdaDerivation) buildInputs);
  +      includePathArgs = concatMapStrings (path: "-i" + path + " ") (includePaths ++ [(dirOf everythingFile)]);
       in
         {
           inherit libraryName libraryFile;
  
positive.code:     , meta
      , buildInputs ? []
      , everythingFile ? "./Everything.agda"
      , libraryName ? pname
      , libraryFile ? "${libraryName}.agda-lib"
      , buildPhase ? null
  
negative.code: 
          buildPhase = if buildPhase != null then buildPhase else ''
            runHook preBuild
            agda ${includePathArgs} ${everythingFile}
            runHook postBuild
          '';
  
  