Emacs
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
~554
people reached
  • Copenhagen, Denmark
  • davidchristiansen.dk
  • Member for 4 years, 4 months
  • 1 profile view
  • 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