The Tau development update for November (Episode 38) is now live. Watch it here:. Highlights include:. TML IDE update ().

09 Dec 2021, 10:03
The Tau development update for November (Episode 38) is now live! Watch it here: 🎥 Highlights include: 🔹 TML IDE update (https://tml.idni.org/) 🔹 Agoras Live backend refactoring 🔹Fixed arithmetic built-ins 🔹Continued work on persistence (saving and reading back BDDs to disk) 🔹Implementation of a persistent canonical union find data structure for 2cnf universe 🔹Initiation of work on Earley parser for TML