57 Forks
279 Stars
279 Watchers

learntla

A TLA+ guide

How to download and setup learntla

Open terminal and run command
git clone https://github.com/hwayne/learntla.git
git clone is used to create a copy or clone of learntla repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with learntla https://github.com/hwayne/learntla/archive/master.zip

Or simply clone learntla with SSH
[email protected]:hwayne/learntla.git

If you have some problems with learntla

You may open issue on learntla support forum (system) here: https://github.com/hwayne/learntla/issues