edwinb
edwinb avatar
Active user
3 years ago by invitation from lenary
6, averaging 3.00 per story/comment
0
2

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