search

hwayne / learntla

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

[tla/tuples] remove `<<2, "a">> \notin chessboard_squares` #91

Closed zed closed 4 years ago

zed commented 4 years ago

Fixes #90