Agda Mode Vscode | Ember Cli Form Data | |
---|---|---|
Stars | 158 | 61 |
Downloads | ||
Dependent Packages | 2 | |
Dependent Repos | 20 | |
Most Recent Commit | 5 months ago | 2 years ago |
Total Releases | 19 | |
Latest Release | November 30, 2021 | |
Open Issues | 39 | 25 |
License | mit | mit |
Programming Language | ReScript | JavaScript |