GitHub repository: meraymond2/idris-vscode
Primary language: TypeScript
Created: 2020-06-09T21:45:27Z
Description: Idris front-end for VS Code