David Christiansen
131
reputation
2
I'm a PhD student at IT University of Copenhagen and a contributor to the Idris programming language.