Edwin Brady

About The Author

Edwin Brady leads the design and implementation of the Idris language. He is a Lecturer in Computer Science and regularly speaks at conferences.

Author Alerts

Get updates about Edwin Brady and recommended reads from Simon & Schuster.
Plus, get a FREE ebook when you sign up!

By clicking 'Sign me up' I agree to the Terms of Use and acknowledge the Privacy Policy and Notice of Financial Incentive. Free ebook offer available to NEW US subscribers only. Offer redeemable at Simon & Schuster's ebook fulfillment partner. Must redeem within 90 days. See full terms and conditions and this month's choices.

Books by Edwin Brady

Type-Driven Development with Idris

By Edwin Brady

Summary

Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-d...

Learn More

LIST PRICE $49.99

PRICE MAY VARY BY RETAILER

Get 20% off with code JUNE20 plus free shipping on orders of $40 or more. Discount on physical products only. Terms apply.

Buy from Other Retailers