We got confused what formals did and had to briefly figure it out. We
should just have docs, so these are some.
Change-Id: If3e794a401e69d022785cbfa0b0c2e2284f41f58
Nix is a powerful package manager for Linux and other Unix systems that makes package
management reliable and reproducible. Please refer to the Nix manual
for more details.
Installation
On Linux and macOS the easiest way to install Nix is to run the following shell command
(as a user other than root):
$ curl -L https://nixos.org/nix/install | sh
Information on additional installation methods is available on the Nix download page.
Building And Developing
See our Hacking guide in our manual for instruction on how to
to set up a development environment and build Nix from source.