Tony Morris

@dibblego @Catharz My goal is "to attempt to reduce mental dissonance in my brain". What is the proof in this case?

@gregmcintyre @Catharz It depends specifically on the program. This program is a proof of the proposition Int: scala> 7

@dibblego I'm not a lexical prescriptivist, you know. I believe words mean what people think they mean.

@gregmcintyre I am not sure what you just said.

@dibblego I believe the definition of "literal" includes the meaning, "especially or extremely so" because that is how it is often used.

@dibblego Likewise, I believe the definition of "programming" includes social contexts and human goals, not just lines of code.

@gregmcintyre So do I, which is why C-H is all the more important to making sure you achieve your goals.

@dibblego OK. So my program is "mv nameone.txt nametwo.txt". My goal is as stated above. When I run it, there is an error and it fails.