A pretty printer for Nix expressions, written in Agda because I'm a masochist - View it on GitHub