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..."
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
Damn those semantics really do be unclear though :(