121
reputation
2

David Christiansen

I'm a PhD student at IT University of Copenhagen and a contributor to the Idris programming language.

1
answer
0
questions
~554
people reached
  • Copenhagen, Denmark
  • Member for 4 years, 4 months
  • 1 profile view
  • Last seen Dec 27 '15 at 18:12

Top tags (4)

Score 2
Posts 1
Posts % 100
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (2)

Gold

Silver

Bronze

2

Rarest