{ 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;
}