GitHub repository: meraymond2/idris-ide-client
Primary language: TypeScript
Created: 2020-05-25T21:51:58Z
Description: TypeScript client for Idris IDE-mode.