What TLA+ can and can't check

Posted 8 hours ago by b-man
115 points

https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/

10 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..