Type-Driven Development with Idris > Editions

by Edwin Brady First published March 22nd 2017

Sort by
Format
Language
Editions
Showing 1-4 of 4
Type-Driven Development with Idris
Type-Driven Development with Idris (Paperback)
Published April 7th 2017 by Manning Publications
1st, First Edition, Paperback, 453 pages
Author(s):
ISBN:
9781617293023 (ISBN10: 1617293024)
ASIN:
1617293024
Edition language:
English
Average rating:
4.48 (96 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type-Driven Development with Idris
Type-Driven Development with Idris (ebook)
Published March 2017 by Manning Publications
ebook, 480 pages
Author(s):
ASIN:
B0DWVF1GXD
Edition language:
English
Average rating:
4.20 (5 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type-Driven Development with Idris
Type-Driven Development with Idris (Kindle Edition)
Published March 13th 2017 by Manning
1st, Kindle Edition, 950 pages
Author(s):
ASIN:
B0977Z888R
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Type-Driven Development with Idris
Type-Driven Development with Idris (Kindle Edition)
Published March 13th 2017 by Manning
1, Kindle Edition, 950 pages
Author(s):
ISBN:
9781638352242 (ISBN10: 1638352240)
ASIN:
B09782937R
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page