I have not been following closely this back story, so I am not aware of such ban, or that (allegedly) Lix is Pierre Bourdon’s software.
I am not affiliated with Nix (Cppnix) or Lix.
I am not affiliated with Nix (Cppnix) or Lix.
There's the overall project, the language, and the primary interpretation. It's also why you'll sometimes see nixlang to refer to the language.
Lmao. Won't ever happen.
A Lix user might well reasonably say they 'use Nix' because they use Nixlang. Thus some people are Nix users but not CppNix users. As Tvix matures, the same will be true of Tvix users.