{"product_id":"type-driven-development-with-idris-paperback-3454762","title":"Type-Driven Development with Idris","description":null,"brand":"Gardners EUR","offers":[{"title":"Default Title","offer_id":54015500583176,"sku":"3454762","price":0.0,"currency_code":"DKK","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0956\/8727\/8856\/files\/9781617293023_fc53f2b5-a0cc-4276-9281-0e026fda72f8.jpg?v=1781548999","url":"https:\/\/mitir.dk\/products\/type-driven-development-with-idris-paperback-3454762","provider":"Ordreportal","version":"1.0","type":"link"}