Type-Level Haskell from Zero to Advent

An in-person workshop