Quote from: HunterMinerCrafter on June 07, 2017, 04:39:44 PM

Quote from: ohad on June 07, 2017, 11:48:50 AM

Quote from: LiskEnterprise on June 07, 2017, 11:44:48 AM

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?

I read now several times about 'Autonomic' and understood this is some sort of other project or fork. But a simple search brings always up Tau. Does this other project exist?