Type-Driven Development with Idris
| Project Editor/Coordinator/Director | Kevin Sullivan |
| Publisher | Manning |
| Cover Art by | Marija Tudor |
| Typeset by | Dottie Marsico |
| Proofreader | Katie Tennant |
| Development Editor | Dan Maharry |
| Reviews Editor | Aleksandar Dragosavljevic |
| Technical Editor | Andrew Gibson (2) |
| Copy Editor | Andy Carroll (3) |
| Format | Paperback |
| Language | English |
| Copyright | 2017 |
| Pages / Font | 453 pages |
| ISBN | 9781617293023 |
Added by univalence