meraymond.idris-vscode

Idris Language

Total downloads

4,522

7d gain

698

Rolling weekly delta

Rating

— / 5

0 reviews

Version

0.0.15

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: meraymond
Name: idris-vscode
License: MIT
Homepage: https://github.com/meraymond2/idris-vscode#readme
Repository: https://github.com/meraymond2/idris-vscode.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Language support for Idris and Idris 2.

Archive

Release history

7 latest releases