Agda Mode Vscode | Angular Reactive Forms Validate Submit | |
---|---|---|
Stars | 158 | 84 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | ||
Most Recent Commit | 5 months ago | 5 years ago |
Total Releases | ||
Latest Release | ||
Open Issues | 39 | 10 |
License | mit | |
Programming Language | ReScript | TypeScript |