@dibblego You say that a lot. Do you have a longer form article or writing on it? I'd happily read it.
-
-
Replying to @gregmcintyre
@gregmcintyre Well there are many but I'd have to be critical in recommending one. Stand by.1 reply 0 retweets 0 likes -
Replying to @gregmcintyre
@gregmcintyre Fact: Programming is Mathematics Introduction http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism … http://www.purelytheoretical.com/papers/ATCHC.pdf … http://www.amazon.com/Lectures-Curry-Howard-Isomorphism-Foundations-Mathematics/dp/0444520775 …1 reply 1 retweet 0 likes -
-
Replying to @dibblego1 reply 0 retweets 0 likes
-
-
Replying to @dibblego
@dibblego@gregmcintyre Thought it was an interesting article on the subject.1 reply 0 retweets 0 likes -
Replying to @Catharz3 replies 0 retweets 0 likes
Replying to @gregmcintyre
@gregmcintyre @Catharz Yes, I saw it and asked the author if she'd like to stop being wrong. The answer was no. http://i.imgur.com/WNh45U6.png
10:42 PM - 15 Jul 2014
0 replies
0 retweets
0 likes
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.