🛠 January's Development Video is here! 🎥 https://youtu.be/TxzNS4ll5h0👈 🔹 Ohad continued work on the code of the Tau language and is pursuing a professional patent to ensure that the code and intellectual property of the Tau language can be published without competition from others. 🔹 Luca is working on improving BDD performance and has extracted two CNFs, integrated the persistent canonical graph data structure into CNFs, and is close to releasing a BDD library version with the 2CNFs. He is also producing a templated version of the BDDs. 🔹 David is working on bringing the TML release to reality. He has cleaned up the TML codebase, performed static analysis using SonarQube to check for quality and potential defects, and revisited the TML optimization levels. 🔹 Tomáš is working on the Earley parser for both TML and Tau. He has finished the TML grammar language and is using it to implement TML itself using the Earley parser for TML. 🔹 Umar has also continued working on the Earley parser. He is improving error handling by accurately locating parsing errors and enhancing the traversal of the trees after parsing. 🔹 Andrei has wrapped up the Agoras live application, renamed "Tau Live". He has fixed the remaining issues found by testers and is looking forward to releasing an early beta version.