i'm writing an issue called "termination checker has unclear semantics" and I have not gotten past the first sentence


Damn those semantics really do be unclear though :(

Sign in to participate in the conversation

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