New time: 6:00pm for Braid Meetings
11 views
Skip to first unread message
Michael Toomim
Dec 7, 2023, 4:34:34 AM12/7/23
to Braid
We're moving to 6:00pm Pacific for Braid Meeting 75!
Do you have anything to discuss? Please add it to the agenda, or
respond here.
To start, I will give the first complete demo of the our new Braid-Chrome extension, which adds Braid features (and diamond-types) directly into the browser and dev tools.
See you Monday at 6pm Pacific!
Michael
Reply all
Reply to author
Forward
0 new messages