Tony Morris

@dibblego @Catharz When I say goal, I mean the thing I intended to accomplish before I started typing. Maybe it was to rename some files.

@dibblego @Catharz I struggle to see how modifying some bytes to suit my sense of tidyness constitutes proving something.

@gregmcintyre @Catharz Well a lot of people are failing to see that today. We can fix that.

@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.