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