16 commits

Author	SHA1	Message	Date
afranco	6a7ecec624	chore: fixed mason-lspconfig not adding mappings	2022-12-12 11:53:45 +00:00
afranco	ca59058816	chore: changed manual config of LSPs from lspconfig.lua to automatic from list in mason-lspconfig.lua	2022-12-06 17:55:11 +00:00
afranco	5a8d4c2b03	chore: added cmp source plugins	2022-12-06 17:17:39 +00:00
afranco	f914dc5a14	chore: Fixed coq artifacts import	2022-12-02 03:39:52 +00:00
afranco	f36f6c0193	chore: changed to cmp, cause better	2022-12-06 15:52:28 +00:00
afranco	6b429ea28f	chore: added format on save and go to error keybind	2022-11-21 23:12:47 +00:00
afranco	3ff6b7b1c4	chore: replaced nvim-cmp with nvim-coq because cmp wasnt adding brackets to functions	2022-11-17 01:30:44 +00:00
afranco	76d6b506c7	chore: replaced nvim-coc with nvim-cmp because coc was acting weird	2022-11-14 03:00:43 +00:00
afranco	45e1be51e5	chore: Changed some vim options	2022-11-07 03:25:06 +00:00
afranco	147531f9cf	chore: Fix and add snippets	2022-10-21 00:50:35 +01:00
afranco	2785d9fce9	chore: Added support for lhs compile with vimtex	2022-10-20 21:23:52 +01:00
afranco	b4e9c96279	chore: coc	2022-10-20 20:37:31 +01:00
afranco	1a2063eee5	chore: Auto pairs and coc	2022-10-20 20:29:13 +01:00
afranco	88639a2280	chore: New nvim config, not finished	2022-10-19 00:47:07 +01:00
afranco	71e5c5967a	chore: Added vimtex dependency	2022-10-14 20:44:25 +01:00
afranco	dada855b98	chore: Added vimtex dependency	2022-10-14 20:43:24 +01:00