David Christiansen

David Christiansen has asked 0 questions and find answers to 8 problems.

217

EtPoint

77

Vote count

0

questions

8

answers

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