The Agda Team and License The Agda Team and License Agda 2 was originally written by Ulf Norell, partially based on code from Agda 1 by Catarina Coquand and Makoto Takeyama, and...
Set up your environment Using an editor/IDE Visual Studio Code JetBrains’ IntelliJ IDEA and WebStorm vim/Neovim Neovim 0.6+ and nvim-lspconfig coc.nvim ALE Emacs lsp-mode eg...
Set up your environment Using an editor/IDE Visual Studio Code JetBrains’ IntelliJ IDEA and WebStorm vim/Neovim Neovim 0.6+ and nvim-lspconfig coc.nvim ALE Emacs lsp-mode eg...
Set up your environment Using an editor/IDE Visual Studio Code JetBrains’ IntelliJ IDEA and WebStorm vim/Neovim Neovim 0.6+ and nvim-lspconfig coc.nvim ALE Emacs lsp-mode eg...
Set up your environment Using an editor/IDE Visual Studio Code JetBrains IDEs vim/Neovim Neovim 0.6+ and nvim-lspconfig coc.nvim ALE Vim-EasyComplete Emacs lsp-mode eglot ...