https://github.com/zjhmale/vscode-idris

Idris for Visual Studio Code
https://github.com/zjhmale/vscode-idris

idris vscode-extension

Last synced: 6 months ago
JSON representation

Idris for Visual Studio Code

• Host: GitHub
• URL: https://github.com/zjhmale/vscode-idris
• Owner: zjhmale
• License: bsd-3-clause
• Created: 2016-09-02T02:30:40.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-05-13T05:50:53.000Z (almost 3 years ago)
• Last Synced: 2024-08-05T10:20:43.034Z (9 months ago)
• Topics: idris, vscode-extension
• Language: JavaScript
• Homepage: https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
• Size: 111 MB
• Stars: 106
• Watchers: 3
• Forks: 21
• Open Issues: 27
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project