This repo is a playground for TLA+ experiments. I've only recently discovered TLA+, so anything in here is probably bad! :)