Home » user account

Edwin Brady

Personal information


UK

male

Computer Science Lecturer, Idris implementer


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

History


21 years 6 weeks