About HarrisonGrodin

PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory

Lists

Timeline

HarrisonGrodin has no activity yet