>Note that Eelco's phd thesis about nix contains a formal definition of both >the syntax and semantics the language.
But remember that it contains a formal definition of the language at the moment when the thesis has been written (obviously), and the current state of NixPkgs and NixOS relies on some significant changes that have been made since then. _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
