Edwin Brady

Personal information


UK

male

Computer Science Lecturer, Idris implementer


Functional programming, language implementation, dependent types, type theory, DSLs

History


14 years 22 weeks