{ agdaPackages ? (import <nixpkgs> {}).agdaPackages }: let inherit (agdaPackages) mkDerivation agda agda-prelude; in mkDerivation { pname = "bytecode"; version = "0.1.0"; src = ./.; everythingFile = "src/Spec.agda"; buildInputs = [ agda-prelude ]; meta = false; }