bdrisc.agda2-vscode

Agda

Total downloads

1,190

7d gain

10

Rolling weekly delta

Rating

- / 5

0 reviews

Version

1.2.2

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: bdrisc
Name: agda2-vscode
License: MIT
Homepage: https://github.com/willtunnels/agda2-vscode#readme
Repository: https://github.com/willtunnels/agda2-vscode.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Interactive development for Agda

Archive

Release history

5 latest releases