> needing to prepare a new TLA+ workshop from scratch, I didn't attend your workshop at Strange Loop but I talked to a few people that did and all of them had

> needing to prepare a new TLA+ workshop from scratch, I didn't attend your workshop at Strange Loop but I talked to a few people that did and all of them had good things to say about it.