search

hwayne / learntla

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

Update pluscal manual URL #75

Closed toastedcornflakes closed 5 years ago

hwayne commented 5 years ago

ta!