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