Types and Programming Languages Chapter 16 (Implementation Edition)
We followed Tom's draft plan of attack and managed to implement much of the algorithmic subtyping ideas from Chapter 16.
With the help of Simon's excellent typing-in-front-of-a-live-audience ability we built these extensions to our Ruby type checker from earlier meetings.
Chat revolved around MacOS defaults write; puzzles from 'The Witness' and config management. There was no cheersy cheers.
