りはびり中

たいして熱もなかったし、しばらく閉じこもっていただけなんですが、

　　少し気力に影響してるな

というわけで、りはびり中です。でも、

　　プログラミングには支障ないらしい

nvim-agda の Lua の debug 手法がわからん。neovim 8 まで上げると stack trace が見れるらしいが...