I leave my summary of TML.

TML (Tau Meta-Language) is the main language of the Tau platform whose function is to allow the developers to create other languages ​​that will be used by normal users. TML is a language of language processing and you can translate the format to the relationships and from there to any other format or program.

TML can also be explained as the simple reasoner or meta language of Tau able to reason about many languages ​​across the entire network in a decidable way. It is like a special programming language with decidable and self-defined logic under the expressiveness of pspace that was only designed to translate from the X language to the Y language through the definition of the logical relationship between languages.

It is as if Tau is structured Pipes that in this case would be the languages ​​that connect and make up the internet of languages.

Tau will be like a kind of translator for the machines so that they can understand each other and through TML process languages ​​that will have to be taught to the individuals that use Tau.

This is the core on which everything else will be built, including the blockchain network, which will happen as Tau approaches completion. Thanks to TML, languages ​​can evolve and be updated.

Advanced users develop languages ​​using TML as a tool and normal users will use those languages ​​within the Tau platform, since until now no one knows how to formalize natural languages.

The Tau network will be able to translate from one language to another and as more languages ​​are developed, advanced users will be able to develop languages ​​that are easier for normal users to use. The advantage that normal users learn one of these languages ​​and use them within Tau is that they can communicate with each other with the machine, as Tau can understand them and learn from them to help them later. Ohad Asor, main developer of Tauchain, names this phenomenon as the internet of languages.

The internet of languages ​​will be only the lower layer of Tau. The upper layers are discussion (Alpha), collaboration and automatic code programming (Beta), self-amendment (Tau) and later the knowledge economy (agora).

Conclusion: We could explain TML as a generic language processor or a language for language.