TypeScript client for Idris IDE-mode.
Primary LanguageTypeScriptMIT LicenseMIT
No issues in this repository yet.