Just the other week I used Nix [...] My configs are public:

Just the other week I used Nix [...] My configs are public: > I laughed when I saw that your readme jumps straight into some category theory.