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 The Nile for $105.67 with fast shipping from Australia
Buy from Amazon for $108.97 with fast & free shipping on orders over $39

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.