Awesome, thank you, Hillel! Bought the book, FWIW, and love it - but this will h...

		an_d_rew on July 1, 2022 \| parent \| context \| favorite \| on: Learn TLA+ Awesome, thank you, Hillel! Bought the book, FWIW, and love it - but this will help me evangelize TLA+ with my employer and other groups!