let pkgs = import <nixpkgs> {};
in with pkgs; mkShell {
  packages = [
    agda
    nodejs
  ];

  shellHook = ''
  rename() {
    for f in *.js; do sed -i 's/require("\(.*\)");/require(".\/\1");/g' "$f"; done
  }
  '';
}