4 ms·And tla+ / sequence diagram / user flow diagrams / data models all in one "thing"by whattheheckheck 3mo agoAnd tla+ / sequence diagram / user flow diagrams / data models all in one "thing"