Edwin Brady

Personal information


UK

male

Computer Science Lecturer, Idris implementer


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

History


17 years 50 weeks