9 commits

Author	SHA1	Message	Date
Gaetan Lepage	1a64636839	plugins: use mk{Neovim,Vim}Plugin's dependencies parameter	2025-04-28 02:04:13 +02:00
Gaetan Lepage	6c37dbd53f	modules/dependencies: add lean	2025-04-11 08:51:45 +10:00
Austin Horstman	c75e4ea37f	plugins/lean: migrate to mkNeovimPlugin	2025-01-31 23:39:31 +00:00
Gaetan Lepage	e908e344f4	treewide: use boolean comparison to simplify the code base	2025-01-29 18:04:00 +01:00
Gaetan Lepage	ce82e5859d	treewide: use mkAssertions where possible	2025-01-29 16:15:07 +01:00
Matt Sturgeon	5e9a6c00a9	treewide: neovim-plugin -> plugins	2024-12-22 10:04:00 +00:00
Gaetan Lepage	ec24d496d5	treewide (cleaning): helpers.toLuaObject -> lib.nixvim.toLuaObject	2024-12-15 21:55:51 +00:00
Gaetan Lepage	e54833d2f7	treewide (cleaning): helpers.neovim-plugin -> lib.nixvim.neovim-plugin	2024-12-15 21:55:50 +00:00
Austin Horstman	b1d0959bc9	plugins/languages: move to by-name	2024-09-09 14:34:18 -05:00

Renamed from plugins/languages/lean.nix (Browse further)