4 commits

Author	SHA1	Message	Date
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