{"product_id":"brady-edwin-type-driven-development-with-idris-9781617293023","title":"Type-Driven Development with Idris","description":"KEY FEATURES • Written by the creator of Idris • Improve performance and accuracy of programs • Teaches Idris, a new type-driven development language • Hands-on code examples • Build real-world software AUDIENCE Written for programmers with knowledge of basic functional programming concepts.","brand":"Manning Publications","offers":[{"title":"Used - good","offer_id":53374406263126,"sku":"9781617293023-G","price":10.89,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9781617293023_1.jpg?v=1778103336","url":"https:\/\/www.momoxbooks.com\/products\/brady-edwin-type-driven-development-with-idris-9781617293023","provider":"momoxbooks","version":"1.0","type":"link"}