3 ms·
It’d be more critical in some use cases. Things like DB’s or operating systems would find more value in TLA+. I’m doing embedded work and really want to learn T
by elcritch 5y ago
It’d be more critical in some use cases. Things like DB’s or operating systems would find more value in TLA+. I’m doing embedded work and really want to learn TLA+ at some point.