Edwin Brady

Joined

User Stats

Profile Images

User Bio

Lecturer in Computer Science at the University of St Andrews. Functional programming, type theory, DSLs, Idris implementor.

External Links