edwinb
edwinb avatar
Active user
4 years ago by invitation from lenary
25, averaging 5.00 per story/comment
0
5

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