Stack Overflow
Stack Overflow

David Christiansen
2,267
reputation
1
18
9
  • Copenhagen, Denmark
  • Member since November 16 2011
  • 295 profile views
  • Last seen Apr 01 '23 at 19:19

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