Hi, I'm Zac, a first-year PhD student at the University of Nottingham's FP lab.
My current interests are program synthesis, interactive programming, and running out of things to write on my website.