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
@TetraspaceGrouping i was not aware of this update to caves of qud
@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