@0x0@lemmy.zip to Programmer Humor@programming.dev • 1 month agorace conditionslemmy.zipimagemessage-square87arrow-up1884
arrow-up1884imagerace conditionslemmy.zip@0x0@lemmy.zip to Programmer Humor@programming.dev • 1 month agomessage-square87
minus-squareJackbyDevlinkfedilinkEnglish1•1 month agoFun fact, some languages are not turing complete and I believe people would still consider them programming languages. They’re typically targeted at making mathematical proofs.
minus-square@nialv7@lemmy.worldlinkfedilink2•1 month agoI did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
minus-squareJackbyDevlinkfedilinkEnglish1•1 month ago I did say “general purpose”. I did say “fun fact”.
Fun fact, some languages are not turing complete and I believe people would still consider them programming languages. They’re typically targeted at making mathematical proofs.
I did say “general purpose”. And many proof assistants are Turing Complete actually, such as Lean.
I did say “fun fact”.