@dibblego @bitemyapp QED isn't appropriate here, that wasn't a proof
Any function with type (List a -> List a) returns a list containing only elements in the input list. … QED
-
-
-
This Tweet is unavailable.
- Show replies
New conversation -
-
-
@dibblego Did you just yadda yadda yadda a proof? ;) -
@fogus I believe I did. - Show replies
New conversation -
-
-
@dibblego and for me, that's decent knowledge to get (at least for now temp...)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego that wasn't a trick tweet was it. -
@jonoabroad Nope. Just a fact, sitting there being factual. - Show replies
New conversation -
-
-
@dibblego ... or⊥, btw do you know http://www-ps.iai.uni-bonn.de/cgi-bin/free-theorems-webui.cgi … ? -
@plancalculus I did not thanks! We can exclude ⊥. http://www.cse.chalmers.se/~nad/publications/danielsson-et-al-popl2006.html … - Show replies
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.