banacorn.agda-mode

agda-mode

Total downloads

29,897

Cumulative since first snapshot

7d gain

646

Rolling weekly delta

Rating

4.00 / 5

1 review

Version

0.9.2

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: banacorn
Name: agda-mode
License: —
Homepage: https://github.com/banacorn/agda-mode-vscode#readme
Repository: https://github.com/banacorn/agda-mode-vscode.git
Reviews: 1

Taxonomy

Categories

Other

Description

agda-mode on vscode

Archive

Release history

25 latest releases