Agda Mode Vscode vs Angular Reactive Forms Validate Submit

Agda Mode VscodeAngular Reactive Forms Validate Submit
Stars15884
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit5 months ago5 years ago
Total Releases
Latest Release
Open Issues3910
Licensemit
Programming LanguageReScriptTypeScript