Type-Driven Development with Idris

Product Details

ISBN10: 1617293024

ISBN13: 9781617293023

Author: Brady, Edwin

Binding: Paperback

Published Date: March 31, 2017

Package Weight: 807.00g

Package Dimension: 235 x 25 x 187cm