This feels like maybe the 3rd programming language book where I've read something like:
"If it compiles, it's correct."
Not enough ego to put that level of boldness in print... but I'm sure I could work up to it.
#Haskell #Rust #Elm
@gd that's almost a tautology. It is correct under the given set of axioms.Then, ex falso quod libet somewhere in there and you have a prod full of bugs.
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
