New:Introducing Socket Scanning for VS Code Marketplace Extensions.Learn more →
Get Started
i

idris

npm

2.02K

total weekly downloads

Packages

Current Co-maintainers

Former Co-maintainers

2 maintainers who formerly co-maintained packages with idris

steelbrain

5 packages in common