I am a PhD student at the Functional Programming Laboratory of the University of Nottingham, working on homotopy type theory, functional programming and language design.
My first year report: an introduction to fibrational models of type theory.
An implementation of basic category theory in Agda/HoTT.
Base library for homotopy type theory in Agda.
A Haskell library for parsing command line options using Applicative functors.
@pcapriotti on GitHub