Type-driven development with Idris
- Författare
- Edwin Brady
- (Edwin Brady.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Manning | 2017 | New York, Shelter Island, NY | xxiv, 453 Seiten Diagramme 24 cm | 978-1-61729-302-3 |
| Manning Publications | 2017 | Utgivningsland okänt / Ej specificerat |