Yeah, that's why I call bullshit on Curry-Howard. It's really not that important or noteworthy. Writing down a program is not like writing down a proof. It is l

Yeah, that's why I call bullshit on Curry-Howard. It's really not that important or noteworthy. Writing down a program is not like writing down a proof. It is like writing down a specification.