A functional, lazy, [[Programming Languages|Programming Language]] primarily used for [[nixpkgs]] and [[NixOS]]