These are chat archives for jdubray/sam

6th
May 2018
devin ivy
@devinivy
May 06 2018 18:18
great thread, with mentions of TLA+, etc https://twitter.com/Hillelogram/status/993159564878143488