David Christiansen
I'm a PhD student at IT University of Copenhagen and a contributor to the Idris programming language.
1
answer
0
questions
~632
people reached
-
Copenhagen, Denmark
-
Member for 5 years, 10 months
-
2 profile views
-
Last seen Dec 27 '15 at 18:12