Watchers

• 

  Kimberley Kittredge

  http://www.complang.tuwien.ac.at/cti/cgi/cti?texta=:-+nti:nonterminating_goal(turing(t([],%27+%27,[]),s0,[p(s0,%27+%27,s1,%27+%27,r),p(s1,%27+%27,s0,%27+%27,l)],y)).&tna=yes&nti=yes&skipcomp=&url=http%3a%2f%2fpad.stuve.de%2Fs%2Fzhd2MTDA7P