search

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
183 stars 39 forks source link

Add some code examples to the standard modules #78

Closed FedericoPonzi closed 5 months ago

FedericoPonzi commented 5 months ago

Added some code examples for the standard modules. I'm planning to add examples for all of them and add the missing modules as well (see Issue #39).

FedericoPonzi commented 5 months ago

I converted it to draft while I'm adding more code examples and modules descriptions, please let me know if you would rather merge this and have different PRs for the rest or it's fine to have single pr

FedericoPonzi commented 5 months ago

Looking at https://github.com/tlaplus/tlaplus/tree/master/tlatools/org.lamport.tlatools/src/tla2sany/StandardModules only Randomization was missing, it should be ready to review now

hwayne commented 5 months ago

Looks a lot better! Once I download the branch and check that it builds right I think it's good to go :) (heads up might rewrite randomization to be a little less technical)

hwayne commented 5 months ago

Tweaked on my end, all ready to go! Thanks for writing this!