Computer Science student at the University of Cambridge.
Functional programming and types enthusiast.
Favourite languages: Haskell, Agda.