26 ms·

It'd be nice if "TLA+" were defined somewhere early in this piece.

• based2 9y ago
  here you go; https://pron.github.io/posts/tlaplus_part1 https://pron.github.io/posts/tlaplus_part1