I'm a PhD student at IT University of Copenhagen and a contributor to the Idris programming language.
Q&A for professional and enthusiast programmers
Joined 3 years ago, last seen 15 days ago
Q&A for those using, extending or developing Emacs
Joined 1 month ago, last seen 1 month ago