finnnk / vscode-idris Goto Github PK
View Code? Open in Web Editor NEWThis project forked from zjhmale/vscode-idris
Idris for Visual Studio Code
Home Page: https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
License: BSD 3-Clause "New" or "Revised" License