OH @dibblego | to coach a child into the belief that a computer program is a sequence of instructions is damaging and difficult to reverse
-
@dibblego@Symbo1ics One of many. Do multiple proofs of something have benefit? Or is there value to a program separate from proof?
-
-
@dibblego I don’t understand how programs being proofs doesn’t translate to one IO () being interchangeable for another. -
@davetchepak IO () is a proposition. print "hello" is its proof.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.