http://z5lcip2ba3ec6v5za5snjzncpvr6ocyvqnkox2alerut6ruozpjtvkqd.onion/math/catalog
Also on this note, if there aren't clear conversion algorithms between Turing machines and λ-calculus, are there conversion algorithms between actual code and Turing machines. A quick search turns up nothing, but I remember that Brainfuck is an extension of P'' which is explicitly is a Turing machine. But other then Brainfuck, how would one go about, for example translating a given scope within a Lua program?