search

hwayne / learntla

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

Example on "Behaviors" page invalid Pluscal #42

Closed hwayne closed 5 years ago

hwayne commented 6 years ago

On https://www.learntla.com/pluscal/behaviors/

image

Does not follow label rules from https://www.learntla.com/concurrency/labels/ so is invalid. See https://twitter.com/aphyr/status/927652007594352640

bheesham commented 5 years ago

384a9cdc816d7df34f52cdfbb8b95df5785ed5df fixes this issue, this can probably be closed.

hwayne commented 5 years ago

Yup, you're right