lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

Problem when killing LSP server in Emacs

Open fblanqui opened this issue 1 year ago • 0 comments

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.

fblanqui avatar Jun 21 '24 08:06 fblanqui