Posts

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.

hello

1 minute read Published:

Hello there. I don’t really know what I’m going to use this website for. Being able to say that I have a website is nice though. In the future, I might talk about my projects. We’ll see.