Post B8NBdwibZTbBvBy6CG by mei@donotsta.re
 (DIR) More posts by mei@donotsta.re
 (DIR) Post #B8NBdwibZTbBvBy6CG by mei@donotsta.re
       0 likes, 0 repeats
       
       okay, so sometimes nvim just hangs for me, which I assume has something to do with the Coq integration I'm using. how would I go about figuring out what's going on, so that I could fix the issue? there ought to be some kind of debugging tool that'd make light work out of this kind of issue, right?