I saw there is a work[1] on creating a temporal type theory. So ideas behind TLA+ may lead to something more universal in the future, we will see. [1] https://

I saw there is a work[1] on creating a temporal type theory. So ideas behind TLA+ may lead to something more universal in the future, we will see. [1] https://arxiv.org/abs/1710.10258 https://arxiv.org/abs/1710.10258