
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

Manning | 2023 | English | 9781633439092 | 312 pages | PDF(conv), EPUB, MOBI | 67 MB

Manning | 2024 | English | 9781633437616 | 240 pages | PDF, EPUB | 12 MB

Manning | 2024 | English | 9781633437463 | 256 pages | PDF, EPUB | 6 MB

Manning | 2024 | English | 9781633437166 | 368 pages | PDF, EPUB | 29 MB

Manning | 2017 | English | 9781617292286 | 216 pages | PDF | 3 MB

Manning | 2024 | English | 9781633436985 | 240 pages | PDF, EPUB | 14 MB

Manning | 2024 | English | 9781633437340 | 432 pages | PDF, EPUB | 30 MB

Manning | 2020 | English | 9781617295522 | 576 pages | PDF, Suppl. | 379 MB

Manning | 2024 | English | 9781633437258 | 312 pages | PDF, EPUB | 23 MB