1 year ago67 TML (Tau Meta-Language) 💎#shorts #TauNet #TML #Datalog #BDD #BinaryDecisionDiagramAndrewOnizuka
1 year ago68 TML (Tau Meta-Language) Part 2💎#shorts #TauNet #TML #Datalog #BDD #BinaryDecisionDiagramAndrewOnizuka
1 year agoTML17: Experience the Power of TML with the Complete IDE at tml.tau.net #shortsAndrewOnizuka
2 years ago#shorts ⚡TML Proof of Concept: Negation, Deletion, and Decidability in 6 lines of codes in 60 sec 🛰️AndrewOnizuka