← NixOS: A Purely Functional Linux Distribution