ESC

Type-Driven Development with Idris

FormatPaperback
LanguageEnglish
Copyright2017
Development EditorDan Maharry
Reviews EditorAleksandar Dragosavljevic
Technical EditorAndrew Gibson (2)
Project Editor/Coordinator/DirectorKevin Sullivan
Copy EditorAndy Carroll (3)
ProofreaderKatie Tennant
Typeset byDottie Marsico
Cover Art byMarija Tudor
PublisherManning
FormatPaperback
LanguageEnglish
Copyright2017
Pages / Font453 pages
ISBN9781617293023
Added by univalence