Bradley Hardy
765
reputation
4
14
Computer Science student at the University of Cambridge.
Functional programming and types enthusiast.
Favourite languages: Haskell, Agda.