uh oh! looks like i've never seen this problem before. i cant just link to a vaguely similar problem and close as duplicate to boost my ego so unfortunately i will not be responding to your post.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.