Inklings: a tumblelog

Turing Equivalent vs. Turing Complete