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]