@psnively @runarorama @dibblego so, you mean that there's a Bijection between programming and math?
-
@dibblego@runarorama@JohnsonMats@psnively Delicious curry. :) Yes, there is an isomorphism. See e.g. Curry-Howard (http://tinyurl.com/Curry-Howard ).
@mcarberg @runarorama @JohnsonMats @psnively and here I was going to send some howard!
-
-
@dibblego@mcarberg@runarorama@JohnsonMats@psnively Cooky Howard 2013: the winner is... λ-lobster curry (http://www.food.com/recipe/lobster-curry-456581 …)Thanks. 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.