Enrico Giorio

Results 2 issues of Enrico Giorio

I even tried to explicitly set the behavior this way: `ino pumvisible() ? (complete_info().selected == -1 ? "\" : "\") : "\"` But the newline is always inserted after selecting...

I am kinda new to coq and I find the LSP setup a bit confusing. When reading the help, it seems that it is just necessary to set up the...