Principled Software Craftsmanship

Parallel typeclass for Haskell

As I’m preparing a talk about refinement types I will be giving this Thursday at the Functional Tricity Meetup, and I’ve recently given a similar talk using the Scala language... Read more »

Setting up Ghcide in Ubuntu with Nixpkgs

If you use Ubuntu or any other Linux distribution (AKA distro) together with Nixpkgs, you might have noticed things don’t play so well together. Nixpkgs has been mainly designed to... Read more »