2 ms·

Tom Leinster was the supervisor for my final year project a few years ago, he is a genius. He uses emacs!