announcing elba

8 minute read Published:

A new package manager for Idris.

Idris is a pretty neat language. But it doesn’t have a package manager, which means managing large projects becomes a bit of a chore.

So, in my spare time, I’ve worked on a package manager of my own. It’s called elba and it takes heavy inspiration from the likes of Cargo, Pub, and Cabal. It’s still very early days, and there are probably bugs hiding everywhere, but in this dev’s humble opinion, it’s good enough for experimentation and small-to-medium-sized projects: it features robust dependency resolution, build caching, and fully-functional package building, testing, and installation.