First examples of Tau Meta Language
Debugging is still on-going but there's some progress. It's very unsexy and boring, although it's the beginnings of a definitive language of law. We've never had this before: https://docs.google.com/document/d/1ppabz8dJHZg_Hf-hYPMhohz9c3GV5thTzTx8ALnlRjk/edit?usp=sharing (I'm not going to link the original document here as it's publicly open for edit atm, please join the Telegram group if you wanna)