4 ms·
> I don't find the proof aspect that relevant to programming By Curry-Howard isomorphism proofs in some particular proof system are equivalent to computer prog
by wolfgke 10y ago
> I don't find the proof aspect that relevant to programming
By Curry-Howard isomorphism proofs in some particular proof system are equivalent to computer programs.
- tree_of_item 10y agoTo a subclass of computer programs; computation is more general than logic. There are lots of programs that can't be typed but still do useful work.