README.md

tlaplus-creator

Documents and code artifacts teaching you how to build your own TLA⁺ tools. Based on the free online textbook Crafting Interpreters by Robert Nystrom. Check out the tutorial starting here!

Each tutorial chapter has a corresponding mirror/backup/snapshot directory in this repository:

Chapter	Wiki page	Directory
1	Create your own TLA⁺ tools	1-start
2	Scanning TLA⁺ Tokens	2-scanning
3	Parsing Constant TLA⁺ Expressions	3-expressions
4	Evaluating Constant TLA⁺ Expressions	4-evaluation
5	Handling TLA⁺ Statements	5-statements
6	Conjunction & Disjunction Lists	6-jlists
7	Functions, Operators, and Parameters	7-operators
8	Variables, State, and Actions	8-actions
9	Model-Checking Safety Properties	9-safety
10	Closures, Resolving, and Binding	10-closures