Solves the halting problem :) - View it on GitHub