Thanks for the reply as i understand it at the basic you are creating a logic non turing complete programming language that is general purpose.
How does it relate in logic to Shen,
http://shenlanguage.org/thanks
indeed a lot of similarities at the language level (as well as differences). however we take another step forward towards a logical discussion platform, and from there a discussion about the platform itself (self-amendment). in quite accurate and broad summary: tau is a large-scale discussion about tau. with all we see as required to make it happen.
Shen (Qi II) is CLOS under MLTT and so is much closer to the language of AutoNomic than of newtau, no?