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