
Type-driven Development with Idris
Manning | 2017 | English | 9781617293023 | 480 pages | PDF, EPUB | 16 MB

Manning | 2017 | English | 9781617293023 | 480 pages | PDF, EPUB | 16 MB

The MIT | 2018 | English | 9780262536431 | 424 pages | PDF | 27 MB

Addison-Wesley Professional | 2013 | English | 9780321928429 | 1072 pages | PDF | 3 MB

Packt | 2020 | English | 9781800209220 | 822 pages | PDF(conv), EPUB | 543 MB

Packt | 2018 | English | 9781788476249 | 468 pages | PDF(conv), EPUB | 1250 MB

CRC | 2024 | English | 9781032256610 | 635 pages | PDF, EPUB | 95 MB

Pearson | 2017 | English | 9780134401201 | 384 pages | EPUB | 39 MB
O'Reilly Media, Inc. | 2024 | English | 9781098169510 | 189 pages | PDF(conv), EPUB | 11 MB

Apress | 2024 | English | 9781484296509 | 559 pages | PDF, EPUB | 28 MB

Routledge | 2024 | English | 9781032425931 | 156 pages | PDF, EPUB | 63 MB