search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Problem when killing LSP server in Emacs #1121

Open fblanqui opened 3 months ago

fblanqui commented 3 months ago

In Emacs, when the LSP server hasn't run yet and we do Ctrl-C Ctrl-K, Emacs loops and we need to kill it by hand.