I'm not sure how technically correct that is
the tau meta language logic is decidable and self defining under pspace complexity
It can compile under expspace but interpret under pspace
To answer what can't Tau do is a very non trivial question, according to Ohad, but some expressiveness were sacrificed to obtain both decidability and self definition
this allows features like scaling logical discussions and code synthesis to be possible
Do check out ohad's latest blog