Books by Edwin Brady

Edwin Brady
Average rating 4.47 · 102 ratings · 8 reviews · shelved 585 times

Showing 3 distinct works.

	Type-Driven Development with Idris by Edwin Brady 4.47 avg rating — 101 ratings — published 2017 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Type Driven Development in Idris by Edwin Brady it was amazing 5.00 avg rating — 1 rating	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings (Lecture Notes in Artificial Intelligence) by Cezary Kaliszyk (editor), Edwin Brady (Editor), Andrea Kohlhase (Editor), Claudio Sacerdoti Coen (Editor) 0.00 avg rating — 0 ratings — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.