Commit graph

5 commits

Author SHA1 Message Date
Gaétan Lepage
264de8cefb
added formatter + reformat existing codebase (#175) 2023-02-20 10:42:13 +00:00
volkswagenfeature
de9a5913d2
magma-vnim: init
* Added magma-nvim skeleton

* Added magma-nvim options

* formatting, suggestions

Co-authored-by: tristan BetaBlue-NixOS-2022 <tristan@BetaBlue-NixOS-2022.com>
2022-12-30 15:02:59 +00:00
Pedro Alves
f8b70a30ea coq-nvim: init plugin
still need to add most options, but this is enough to be usable
right now! This also sets up the work needed for other completion
frameworks, notably things like nvim-cmp and compe.
2022-01-09 23:04:12 +00:00
legendofmiracles
ea8a0f5c01 mark-radar: init 2021-12-13 14:18:54 +00:00
Pedro Alves
ff824e9dba Declaratively manage plugins not in nixpkgs
Created the plugins/plugin-defs.nix file, which will include
definitions for all plugins not in nixpkgs. This way, we can get
rid of the packer dependency and make the whole thing truly
declarative!
2021-12-12 12:39:08 +00:00