Dreamt of Disneyworld. I’ve never been.

Yesterday I spun some more TunisX, wrote a janky but functional type
checker, chatted with my Olin mentee M, and watched an episode of gbbo with
P. Crossword, helped P with some python debugging, bed.