Archive for April, 2014

http haskell cs yale edu wp content uploads…

April 21, 2014

pg 11 has information on the Y combinator. Wikipedia has a better explanation of the proof.

Now I understand the proof, but I’m still confused on how it “simulates” recursion.


This post http riceissa wordpress com 2014 03…

April 16, 2014

This post has been ported into Markdown and is hosted on my GitHub website here . (Mostly to test how Mathjax+Jekyll+Github work.)

UW Resources

April 10, 2014

I’ve begun collecting resources for the UW. There’s a page on this blog for posting comments, but the most current version is available here.