coq is great. its all the ease and permissiveness of haskell, but you also have to persuade the compiler that your code terminates and the compiler is not very smart

@aoife hehe

i wonder if caves of qud is turing complete yet actually, i would be unsurprised if there was some combo that let you do an arbitrary computation

@TetraspaceGrouping my guess is that it was consciously implemented, but it will never be observable to anyone except modders and CPUs

Sign in to participate in the conversation
Mastodon

a Schelling point for those who seek one