Built with from Grav and Hugo
This is an introductory guide for TLA+ (Temporal Logic of Actions), a specification language used for writing code blueprints.
I have a personal site at hillelwayne.com I never update and a Twitter account I never use.