The Tau developer team update for June has now been published:. Highlights include:.
06 Jul 2021, 10:38
The Tau developer team update for June has now been published:
Highlights include:
🔹Update and implementation of new features within Agoras Live 🎥
🔹TML: Continued work on Z3 engine integration ⏱
🔹Finished work on static type system with local type inference ✅
🔹Continued work on integrating the Sudoku demo in TML ⏱