• Had a lovely walk and chat facilitated by the chat-bot.
• Pairing workshop: I learned the value of frequent alternation between roles (they advised 8-15 minutes rotations). My partner and I coded up a working (afaik) implementation of the core logic of Conway’s Game of Life in Haskell. This was a good reminder that my Haskell is very rough.
• Met with the category theory study group kickoff. We have solid plans for the next meeting.
• Signed up with the pairing bot and made a date with a fellow batchling for some OCaml pairing tomorrow.

• Fixed a bug in the org-publish configuration preventing posts from being indexed properly.

Less progress here than hoped. Between my exhaustion and social engagements, I didn’t have a heap of energy or time, but I still managed to move things forward a bit.

• Got the 1ML interpreter building.
• Fixed some bugs in my year-old experiments to extend the prelude.
• Added some to the Opt module

I still have a lot to sort out.

• Finish reading (MacQueen 1984)
• Begin reading (Rossberg, Russo, and Dreyer 2010)
• Solidify understanding of distinction between small and large types in 1ML, and how to use wrap and unwrap appropriately.
• Code up some basic data structures, starting with a stack.
• Backup, in case I am stuck or need a break: Begin porting Data.These to OCaml

• OCaml pairing
• OCaml chatting
• Recoup with some dedicated alone time.

• Short write up on the basics of defining 1ML modules.