/coqoune

CoqIDE-like experience for kakoune

Primary LanguageOCamlBSD Zero Clause License0BSD