/kakoune-idris

Idris 2 IDE Protocol Integration for Kakoune

Primary LanguageJavaScript

Stargazers