Type-Driven Development with Idris
Type-Driven Development with Idris
Type: Physical Book
Language: English
Pages: 453
Format: Paperback
Release Date: 2017-03-22
ISBN 10: 1617293024
ISBN 13: 9781617293023
Readers: 2
Country: United States of America
Type-Driven Development with Idris
Type: Physical Book
Language: English
Pages: 480
Release Date: 2017-03-13
ISBN 10: 1638352240
ISBN 13: 9781638352242
Country: United States of America