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.

Get a FREE ebook by joining our mailing list today!

Plus get our latest book recommendations, author news, and competitions right to your inbox.

By clicking 'Sign me up', I consent to Simon & Schuster sending me email offers and updates, including offers for a free eBook. I understand I can unsubscribe at any time. Any offer for an eBook may be subject to exclusions, terms, conditions, and registration with our fulfillment partners. We collect and use your information in accordance with our Privacy Policy. Free ebook offer available to NEW AU subscribers only. Offer redeemable at Simon & Schuster's ebook fulfillment partner. Must redeem within 90 days. See the full terms and conditions.

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: AU$ 55.99

PRICE MAY VARY BY RETAILER