Programming Forums - View Single Post

SamReidHughes · Oct 22nd, 2007, 7:14 PM

No, I don't have any radical opinions like that. It's not like you should write code in a theorem prover...

But it would be a nice start to use one where when you look at the code, you know what it's supposed to do.

Oct 22nd, 2007, 7:14 PM	#17
SamReidHughes Newbie Join Date: Oct 2007 Posts: 13 Rep Power: 0	Re: Need help with school SIS No, I don't have any radical opinions like that. It's not like you should write code in a theorem prover... But it would be a nice start to use one where when you look at the code, you know what it's supposed to do.