Vim 9 Plugins for Lean(vim.castedo.com)2 points·by dougb5·5 mesi fa·0 commentsvim.castedo.comVim 9 Plugins for Leanhttps://vim.castedo.com/0 commentsPost comment—