Type-driven Development with Idris
Edición de la obra Type-driven Development with Idris
| Autor | Edwin Brady |
|---|---|
| Editorial | Manning Publications |
| Fecha de publicación | Mar 31, 2017 |
| Páginas | 480 |
| ISBN-13 | 9781617293023 |
| ISBN-10 | 1617293024 |
| Número de Cutter | B812t |
Edición de la obra Type-driven Development with Idris
| Autor | Edwin Brady |
|---|---|
| Editorial | Manning Publications |
| Fecha de publicación | Mar 31, 2017 |
| Páginas | 480 |
| ISBN-13 | 9781617293023 |
| ISBN-10 | 1617293024 |
| Número de Cutter | B812t |