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 :(

@amy "You might think you get really unclear semantics from C++, but that's nothing compared to..."

Sign in to participate in the conversation

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