Weeknotes 2025-W42 › Welcome, Jeremy Chen! [01IH]

Jeremy is a Part II student at Trinity College, who will be doing a project with me: Query-based incremental elaborator for a dependently typed language. You can read more about the project in Jeremy’s first weeknote, or subscribe to his atom feed. I’m very excited for what we are sure to learn in the course of this project; although the plan is not to incorporate Jeremy’s work directly into Project Pterodactyl, the experience we gain will have an impact there.