3 ms·

Heckin'! One of my favorite things to see in TLA+ adoption is people making more tools to work with it.