$ yarn add -D @typescript-eslint/eslint-plugin \
eslint-config-prettier \
eslint-plugin-prettier \
prettier
$ yarn add -D git+https://github.com/runtimeverification/eslint-config-rv-web-nextjs.git#master{
"extends": ["rv-web-nextjs"]
}