we sometimes read papers, type theory, functional programming, philosophy
No cards in this deck (or we haven’t scraped them yet).