You have some options, each has its trade off: This must be set BEFORE require("coq") LSP too slow to show up on keystroke. Here I make a type error on purpose inputting string instead of an integer.Įither set let g:coq_settings = Prevents typos & type errors in your config.Vim runtime: ada, c, clojure, css, haskell, html, js, php, syntax Their own bug tracker.Įnable via: coq_=true Modular lua sources & external third party integrationsĮven faster than pure lua! (transparent sqlite caching) T9 is disabled by default, I might remove it, if they do not improve the CPU usage. $VARIABLE expansion, %EVEN_UNDER_WINDOWS% Requires Universal CTags, NOT ctags # MacOS
Incremental & automatic background compilation The Treesitter source only parses a limited number of lines about the cursor and only on Idle events due to unrealized performance promises. The promise is that Treesitter will have real time parsing on every keystroke, but it's actually too slow on big files. Treesitter is still unstable in nvim0.5: slow and crash prone The % statistic comes from compiling the 10,000 snippets TreeSitter Lsp.setup(coq.lsp_ensure_capabilities()) - after Requires 2 lines of change to support LSP snippets local lsp = require "lspconfig" Install the Nvim Official LSP integration Ubiquitous: Tags, LSP, TreeSitter, Paths, Snippets Press key to view documentation in big bufferĪuto open preview on side with most space Weighted average of relative ranks & ensemble metricsĮrror correction: cour -> colour_space, flgr -> flag_group, nasp -> Namespace Look at the gifs! The bottom few are the fastest when I didn't slow down on purpose to show features. Note: Due to compression, reality is faster than gifs Fast as fuck More details at the PERFORMANCE.md Features Faster Than Pure LuaĬoroutine based incremental & interruptible scheduler Coq also means 鸡 in français québécois, and I guess 🥖.įast as FUCK and loads of features.
0 kommentar(er)
