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.