nix at work: acquired the cursed knowledge of __structuredAttrs and exportReferencesGraph

I think guix is on to something

types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.