My Neovim configuration

Requirements

• general
  • git
• coq_nvim
  • Python >= 3.8.2
  • pip
  • python venv
  • git symlinks
    • Windows: git config --global core.symlinks true (may require additional config)
    • Workaround for when not available on Windows
    • Another (untested) workaround
• lazy.nvim
  • hererocks
    • Python 3.x
    • Windows: MSVC in $PATH
• fzf-lua
  • rg
  • fd
• nvim-treesitter
  • Windows: MSVC in $PATH
• mason.nvim
  • pwsh
  • go
  • node
  • Python 3.x
  • cargo
    • rustup
  • Java (open JDK)
• typescript-tools.nvim
  • Typescript npm i -g typescript (in particular tsserver)
  • The version of tsserver included with ts_ls on mason.nvim is outdated

Notes

If using wezterm and artifacts are encountered while scrolling, install the correct terminfo to fix them