3 ms·

If CT is used to connect different parts of math and software is basically math proofs, then it makes sense programmers find CT interesting. It let's you conne

• bmitc 3y ago
  > software is basically math proofs But it's not.
  • solomonb 3y ago
    Not all software but by the curry-howard correspondence you can arrive at programs as proofs.
    • solomonb 3y ago
      Why would I get down voted for this comment?