/elpi-lang

visual studio code extension for Elpi

Primary LanguageJavaScriptMIT LicenseMIT

Stargazers