[Nix-dev] Typing nix − funding campaign

[Michael Raskin]

>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.