4 Commits

Author	SHA1	Message	Date
Michael Mandl	6f1535f83f	feat: replace coq.nvim with nvim-cmp and luasnip	2022-04-04 19:27:41 +02:00
Michael Mandl	6b953fa964	feat: complete snippets with C-s	2022-04-02 10:49:31 +02:00
Michael Mandl	d634051918	feat: hide terminal line numbers	2022-03-17 10:21:24 +01:00
Michael Mandl	9708fa7213	refactor: move all files to subdirectory	2022-02-24 20:39:39 +01:00