@dibblego Thanks. :) Pick one with small words, I am not very clever. An introductory one.
-
-
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
-
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.