Books by Edwin Brady

Edwin Brady leads the design and implementation of the Idris language.

He is a Lecturer in Computer Science and regularly speaks at conferences.