68 commits

Author	SHA1	Message	Date
afranco	b1db9ad9b0	chore: lualine	2025-06-04 11:46:27 +01:00
afranco	f33bc2540b	chore: Removed unused plugins, and added treesitter-context	2025-06-04 11:46:26 +01:00
afranco	da80611b9c	chore: fixed mason-lspconfig not adding mappings	2025-06-04 11:46:25 +01:00
afranco	b95f3a9c34	chore: changed manual config of LSPs from lspconfig.lua to automatic from list in mason-lspconfig.lua	2025-06-04 11:46:24 +01:00
afranco	beeb1314da	chore: added cmp source plugins	2025-06-04 11:46:24 +01:00
afranco	97d06fc1dc	chore: Fixed coq artifacts import	2025-06-04 11:46:18 +01:00
afranco	bca80bca6b	chore: changed to cmp, cause better	2025-06-04 11:45:45 +01:00
afranco	39d6ef21cf	chore: added format on save and go to error keybind	2025-06-04 11:45:33 +01:00
afranco	0d878a3353	chore: replaced nvim-cmp with nvim-coq because cmp wasnt adding brackets to functions	2025-06-04 11:45:32 +01:00
afranco	6a1f2ad2d9	chore: replaced nvim-coc with nvim-cmp because coc was acting weird	2025-06-04 11:45:30 +01:00
afranco	5b94145725	chore: Changed some vim options	2025-06-04 11:45:24 +01:00
afranco	10a762f8da	chore: Fix and add snippets	2025-06-04 11:44:47 +01:00
afranco	d5f43bc702	chore: Added support for lhs compile with vimtex	2025-06-04 11:44:46 +01:00
afranco	df1f820e97	chore: coc	2025-06-04 11:44:46 +01:00
afranco	94534aef0d	chore: Auto pairs and coc	2025-06-04 11:44:45 +01:00
afranco	9fd8201444	chore: New nvim config, not finished	2025-06-04 11:44:44 +01:00
afranco	22213015d2	chore: Added vimtex dependency	2025-06-04 11:44:35 +01:00
afranco	63029f7597	chore: Added vimtex dependency	2025-06-04 11:44:35 +01:00