afranco 97d06fc1dc chore: Fixed coq artifacts import		2025-06-04 11:46:18 +01:00
..
ftplugin	chore: Added support for lhs compile with vimtex	2025-06-04 11:44:46 +01:00
lua	chore: Fixed coq artifacts import	2025-06-04 11:46:18 +01:00
UltiSnips	chore: Fixed some stuff	2025-06-04 11:45:11 +01:00
.gitignore	chore: replaced nvim-coc with nvim-cmp because coc was acting weird	2025-06-04 11:45:30 +01:00
init.lua	chore: Fix and add snippets	2025-06-04 11:44:47 +01:00