@dibblego I think you are referring to a talk from @psnively at StrangeLoop: ... http://tmi.me/1covJ7
Where is the blog post that talks about "tests are to existential quantification as types/proofs are to universal quantification"?
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego Are you talking about: Tests = ∃x. Types = ∀x. ? cc@etorreborreThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.