search

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq
GNU Lesser General Public License v2.1
145 stars 31 forks source link

[requests] Allow not to postpone full document requests #627

Closed ejgallego closed 9 months ago

ejgallego commented 9 months ago

This should help towards a lazier checking mode.

Thanks to Julio Di Egidio and Paolo Giarruso for discussion about lazier checking.