[tla/tuples] fix parse error in `key : set` example - Githubissues

hwayne / learntla

A TLA+ guide

http://www.learntla.com

Creative Commons Attribution 4.0 International

278 stars 57 forks source link

[tla/tuples] fix parse error in `key : set` example #92

Closed zed closed 4 years ago