Please find our Youtube lecture series on Atomless Boolean Algebras by our CTO and Founder, Ohad Asor.

Link to playlist:

Hi Tauists, for those who want to start playing with the Tau Language REPL, right now you need to have Linux OS. Later I will make a video and write the link for you to watch the step-by-step tutorial how to run Tau REPL in Windows using Ubuntu under Virtual Machine. In the future development, Tau REPL can also run on different OS.

To install Tau REPL
1.) git clone https://github.com/IDNI/tau-lang.git
2.) cd tau-lang
3.) ./release.sh

To run Tau REPL
1.) cd build-Release
2.) ./tau

To quit Tau REPL
1.) type q

To see your current version
1.) type v

the current version as I made this was 9ddbda6

To start playing the Tau Language Demos
1.) cd tau-lang/demos                   # go to Tau demo folder
2.) dir                                          #  see the files you want to run
3.) ./run.sh <demo_name>           # this is to run the demo
4.) type any key                           # the demo will run step by step

To update Tau REPL
1.) git pull
2.) ./release.sh

Thank you!

Hi "Newbies"  even the Super Admins got to earn their rank here I guess.

Hi fellow Tauists and Agorillas!

I have been waiting for this Tau Forum to launch.

Each Tau Q&A topic is very interesting. I will be posting here the content as a sub topic and we can dive deeper into each question, share our ideas and opinions and also ask further questions, making us truely understand better and have a wider perspective upon the subject matter.

Have a nice day!

I will be sharing here my experience in learning The Tau Language.

Worth the wait.

Hello fellow tauists!

Good day to everyone 

ohad has said agi is gonna be a byproduct of tau net usage.

Welcome

Hello World!