Strop vs Idris2 Vim

Idris2 VimStrop
Stars525
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit3 years ago2 years ago
Total Releases
Latest Release
Open Issues15
Licensemit
Programming LanguageVim scriptJavaScript