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 :(
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
