This is very interesting, and a good collection of algorithms. But before digging I didn't know what Church [0] was, and took me a while to figure out that thi

This is very interesting, and a good collection of algorithms. But before digging I didn't know what Church [0] was, and took me a while to figure out that this is what the algorithms are written in. You may want to put a note on the page somewhere for those new to the language. [0] http://projects.csail.mit.edu/church/wiki/Church http://projects.csail.mit.edu/church/wiki/Church