| ▲ | esafak 7 hours ago | |
What did you do to get the TLA output? | ||
| ▲ | aerodexis 7 hours ago | parent [-] | |
I was working from a design-doc, not code. "look at @design-document and generate a TLA+ specification for the interactions between local and remote" | ||
| ▲ | esafak 7 hours ago | |
What did you do to get the TLA output? | ||
| ▲ | aerodexis 7 hours ago | parent [-] | |
I was working from a design-doc, not code. "look at @design-document and generate a TLA+ specification for the interactions between local and remote" | ||