a collection of my configs, and an installer to setup everything that I need for a new install
LspInfo
can be used to see if language servers are working
COQ needs python venv to work
Don't know how to auto install them yet, plus it doesn't take very long
vim keys in browser
map <a-u> previousTab map <a-i> nextTab map <a-h> goBack map <a-l> goForward
dark mode is king