Emacs
Profile Activity
Network profile
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
~595
people reached
  • Copenhagen, Denmark
  • davidchristiansen.dk
  • Member for 4 years, 11 months
  • 2 profile views
  • Last seen Dec 27 '15 at 18:12

Communities (2)

Top network posts

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
2 Three-characters comment syntax Jun 20 '15

Badges (2)

Gold

—

Silver

—

Bronze

2

Rarest