edwinb
edwinb avatar
Active user
4 years ago by invitation from lenary
29, averaging 4.14 per story/comment
0
7

Lecturer in Computer Science at St Andrews, functional programmer, Idris implementer.