Comment on Show HN: CAA – Lightweight distributed session management [Go / TLA+]parentComments−aefdhkiodsa7yTLA+ isn't a particular good or interesting formal specification language. I suppose some peons must get some value out of it
Comments
TLA+ isn't a particular good or interesting formal specification language. I suppose some peons must get some value out of it