Skip to main content
  1. Textbooks
  2. Type-Driven Development with Idris

Edwin Brady

ISBN 978-1-61729-302-3

Manning

Sell your copy of this textbook

Buy new

Buy from Amazon for $108.97

Buy secondhand from 0 sellers


We don't have any copies of Type-Driven Development with Idris at the moment!

Please check back soon for more copies.