nix at work: acquired the cursed knowledge of __structuredAttrs and exportReferencesGraph
I think guix is on to something
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.