Andy Matuschak@andy_matuschakReplying to @amackworth@alexanderpine If you want to get into decidability/tractability, I recommend Sipser's book.6:36 PM · Oct 6, 2014·Twitter for Mac
