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

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