search

hwayne / learntla

A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278 stars 57 forks source link

Start updating this again #100

Closed hwayne closed 2 years ago

hwayne commented 3 years ago

srsly, it's been like two years

Maybe set an official start date of October or something

miguelraz commented 3 years ago

You can do it!

link2xt commented 2 years ago

Duplicate of #99