8 commits

Author	SHA1	Message	Date
Léana 江	f376836786	add(why3): adapted the official vim syntax file	2024-10-30 18:21:40 +01:00
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