stickypiston.avea

Avea

Total downloads

532

7d gain

120

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.2.0

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: stickypiston
Name: avea
License: MIT
Homepage: https://github.com/stickyPiston/avea#readme
Repository: https://github.com/stickyPiston/avea.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Avea: Another Visual studio code Extension for Agda

Archive

Release history

3 latest releases