[jsonrpc] i[18:51:41.348] [18] timed-out request ':textDocument/hover'

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Other

269 stars 35 forks source link

[jsonrpc] i[18:51:41.348] [18] timed-out request ':textDocument/hover' #1044

Open fblanqui opened 8 months ago

fblanqui commented 8 months ago

Emacs interface very slow because of timeouts. *EGLO events* buffer: jsonrpc-request: jsonrpc-error: "request id=17 failed:", (jsonrpc-error-message . "Timed out"). Using lambdapi-mode 20240130.1533, jsonrpc 1.0.24, eglot 1.17.