search

hwayne / learntla

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

Warn that process values should be unique. #59

Closed ctford closed 6 years ago

hwayne commented 6 years ago

I'm sorry, I didn't see this until now! This is a good change, merging.