All this mucking around in the ICFP contest (I decoded the all the gene tables yesterday, woohoo) has sent me back thinking about simple machines which are Turing compatible. A very nice page about such stuff is:

John’s Combinatory Logic Playground

Which includes papers and implementations of binary combinatory logic. Neat!

[tags]Programming Languages, Combinators[/tags]