11 commits

Author	SHA1	Message	Date
Léana 江	e544decd09	add(nvim): more why3 keywords	2024-10-30 18:21:35 +01:00
Léana 江	3b08674586	nvim: stop using nix for nvim ... I just wanna work, I don't wanna nix	2024-10-30 18:21:34 +01:00
Léana 江	8e78bef74b	ref(nix): drop neovim legacy support	2024-10-30 18:21:33 +01:00
Léana 江	5511fd08a0	add(nvim): why3 keywords	2024-10-30 18:21:31 +01:00
Léana 江	87b2ec5753	why3: add walrus operator	2024-10-30 18:21:31 +01:00
Léana 江	0ee5d30789	nvim: mega giga huge rewrite of the syntax file	2024-10-30 18:21:30 +01:00
Léana 江	e76b41242d	add(nvim): why3 highlighting ✨	2024-10-30 18:21:30 +01:00
Léana 江	85524b05b5	Identifier hl-group for skel	2024-10-30 18:15:46 +01:00
Léana 江	4acd71159f	ref(nvim): adaptation of skel syntax	2024-10-30 18:15:37 +01:00
Léana 江	c7d6e2a967	mod(nvim): small changes to vim highlighting for skel	2024-10-30 18:15:36 +01:00
Léana 江	0a6620be4a	add(nvim): skel syntax highlighting	2024-10-30 18:15:36 +01:00