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

7 maintainers who currently co-maintain packages with idris

stevehollaar

7 packages in common