Calling folks who did my "TLA+ Workshop" at @lambd_ale or @lambda_conf. Did you enjoy it? Could you write me a 3-5 sentence long review of it? I'm trying to convince **very important people** to do it one more time.
My DM is open. An email is always an option :)