Every time this frontpages I feel super shitty about not getting back to it. I've learned a _lot_ about how to teach TLA+ in the past three years, and there's a

Every time this frontpages I feel super shitty about not getting back to it. I've learned a _lot_ about how to teach TLA+ in the past three years, and there's a lot I know I can improve about this guide. One of these days, I promise!