A guide to learning the TLA+ specification language. A complete ground-up rewrite of the original learntla. Going to be a gigantic mess right now, will be a while before the dust settles.
TODO write setup and explanations and stuff.
Builds the site whenever an rst file changes. Also launches a selenium browser that gets autorefreshed.
Requires
Install-Module -Name FSWatcherEngineEvent
Install-Module -Name selenium