GitHub repository: stoand/kakoune-idris
Primary language: JavaScript
Created: 2018-02-23T13:40:12Z
Description: Idris 2 IDE Protocol Integration for Kakoune