NixOS: A purely functional Linux distribution